Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
Algebraic Notions of Termination
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
On Constructive Connectives and Systems
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the meaning of logical completeness
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
The complexity of linear-time temporal logic over the class of ordinals
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Logical Foundation for Environment Classifiers
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bounded Linear Logic, Revisited
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Explicit Framework for Interaction Nets
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
The complexity of global cardinality constraints
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
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