Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
Combining decision procedures for the reals
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Solution of a Problem of Barendregt on Sensible lambda-Theories
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
From Proof Nets to the Free *-Autonomous Category
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generalized Majority-Minority Operations are Tractable
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Efficient Open World Reasoning for Planning
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Resource Usage Analysis for the Pi-Calculus
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relational Parametricity and Control
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logics for Unranked Trees: An Overview
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Context-Sensitive Languages, Rational Graphs and Determinism
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modal Logics of Topological Relations
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
A System of Interaction and Structure II: The Need for Deep Inference
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Expressiveness of the Ambient Logic
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
The monadic second-order logic of graphs XVI : Canonical graph decompositions
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extending the theory of Owicki and Gries with a logic of progress
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Approximate reasoning for real-time probabilistic processes
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Probabilistic Pushdown Automata
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Theories for TC0 and Other Small Complexity Classes
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text