Full Text Available
Access Full Text at Repository
Search Results - Information Technology
-
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Cores of Countably Categorical Structures
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear Encodings of Bounded LTL Model Checking
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Elgot Algebras
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Completeness of Propositional Resolution: A Simple and Constructive Proof
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear Abadi and Plotkin Logic
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Positional Determinacy of Games with Infinitely Many Priorities
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
Combining decision procedures for the reals
Published in Logical Methods in Computer Science (2006)Subjects: “…Computer Science & Information Science…”
Get full text
-
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
-
Tarski's influence on computer science
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