Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Degrees of Lookahead in Regular Infinite Games
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Reachability Analysis of Communicating Pushdown Systems
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Two for the Price of One: Lifting Separation Logic Assertions
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model-Checking of Ordered Multi-Pushdown Automata
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Wreath Products of Forest Algebras, with Applications to Tree Logics
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weak Alternating Timed Automata
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Transfer Function Synthesis without Quantifier Elimination
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Strongly Complete Logics for Coalgebras
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Constructor Rewrite Systems and the Lambda Calculus
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
On logical hierarchies within FO^2-definable languages
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bounded Arithmetic in Free Logic
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Isomorphisms of types in the presence of higher-order references (extended version)
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Finite dimensional Hilbert spaces are complete for dagger compact closed categories
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text