Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Psi-calculi: a framework for mobile processes with nominal data and logic
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Equality Saturation: A New Approach to Optimization
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Functional Interpretations of Intuitionistic Linear Logic
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
From coinductive proofs to exact real arithmetic: theory and applications
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
A calculus for costed computations
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generic Modal Cut Elimination Applied to Conditional Logics
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semantics of Typed Lambda-Calculus with Constructors
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algebraic Notions of Termination
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
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