Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
Co-c.e. spheres and cells in computable metric spaces
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Constraint solving in non-permutative nominal abstract syntax
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Monotonicity Constraints for Termination in the Integer Domain
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Realizability algebras: a program to well order R
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Derivational Complexity Induced by the Dependency Pair Method
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
First-order query evaluation on structures of bounded degree
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Turing machines on represented sets, a model of computation for Analysis
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
TRX: A Formally Verified Parser Interpreter
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Amortised Resource Analysis with Separation Logic
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
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