Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Constructing Fully Complete Models of Multiplicative Linear Logic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Deciding definability in FO2(
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proof Theory of a Multi-Lane Spatial Logic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Service-Oriented Logic Programming
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Presenting Distributive Laws
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Permissive Controller Synthesis for Probabilistic Systems
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
On absorption in semigroups and $n$-ary semigroups
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weak bisimulation for coalgebras over order enriched monads
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Thermodynamic graph-rewriting
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Deciding the value 1 problem for probabilistic leaktight automata
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generators and relations for n-qubit Clifford operators
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Pure Nash Equilibria in Concurrent Deterministic Games
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Using models to model-check recursive schemes
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bounding linear head reduction and visible interaction through skeletons
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Containment for Conditional Tree Patterns
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Learning and Designing Stochastic Processes from Logical Constraints
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Reachability for Unidirectional Channel Systems Extended with Regular Tests
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text