Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
Transforming structures by set interpretations
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Automatic Structures: Richness and Limitations
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Predicate Abstraction via Symbolic Decision Procedures
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Adventures in time and space
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the decidability and complexity of Metric Temporal Logic over finite words
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Real-Time Model-Checking: Parameters everywhere
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Predicate Abstraction with Under-approximation Refinement
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logic Meets Algebra: the Case of Regular Languages
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Expressiveness of Metric modalities for continuous time
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
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
-
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