Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Amortised Resource Analysis with Separation Logic
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Logical Step-Indexed Logical Relations
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Noncomputable functions in the Blum-Shub-Smale model
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking CTL is Almost Always Inherently Sequential
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Banach Spaces as Data Types
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ludics with repetitions (Exponentials, Interactive types and Completeness)
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Towards a Proof Theory of Gödel Modal Logics
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decidable Expansions of Labelled Linear Orderings
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Automated Synthesis of Tableau Calculi
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
CFA2: a Context-Free Approach to Control-Flow Analysis
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Existential witness extraction in classical realizability and via a negative translation
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
From formulas to cirquents in computability logic
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semantics of Higher-Order Recursion Schemes
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Being Van Kampen is a universal property
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relating coalgebraic notions of bisimulation
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text