Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
The complexity of global cardinality constraints
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Game semantics for first-order logic
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Model of Cooperative Threads
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weak omega-categories from intensional type theory
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Non-Deterministic Kleene Coalgebras
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Well-definedness of Streams by Transformation and Termination
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Local Termination: theory and practice
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modularity of Convergence and Strong Convergence in Infinitary Rewriting
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unification in the Description Logic EL
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Propositional Dynamic Logic for Message-Passing Systems
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Initial Algebra Semantics for Cyclic Sharing Tree Structures
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Acyclic Solos and Differential Interaction Nets
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algorithms for Game Metrics
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Proof Theoretic Analysis of Intruder Theories
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sampled Semantics of Timed Automata
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Expressiveness and Closure Properties for Quantitative Languages
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text