Full Text Available
Access Full Text at Repository
Search Results - Information Technology
-
Bootstrapping Inductive and Coinductive Types in HasCASL
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
On the Expressive Power of 2-Stack Visibly Pushdown Automata
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Wadge Hierarchy of Deterministic Tree Languages
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Rational Deconstruction of Landin's SECD Machine with the J Operator
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
First-Order and Temporal Logics for Nested Words
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebraic Automata Theory: Basic Results
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Compactly accessible categories and quantum key distribution
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Multi-Objective Model Checking of Markov Decision Processes
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Recursive Concurrent Stochastic Games
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Light Logics and the Call-by-Value Lambda Calculus
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Characterising Testing Preorders for Finite Probabilistic Processes
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logical Reasoning for Higher-Order Functions with Local State
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Interpolation in local theory extensions
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the strength of proof-irrelevant type theories
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Probabilistic Timed Automata with One or Two Clocks
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Enriched Mu-Calculi
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text