Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
A proof of strong normalisation using domain theory
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Generic Trace Semantics via Coinduction
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Church Synthesis Problem with Parameters
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coinductive Proof Principles for Stochastic Processes
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decisive Markov Chains
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Characterisation of First-Order Constraint Satisfaction Problems
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Note on Shortest Developments
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Interactive Small-Step Algorithms I: Axiomatization
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Synchronized Products of Infinite Transition Systems
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Interpolant-Based Transition Relation Approximation
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inductive Definition and Domain Theoretic Properties of Fully Abstract
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Normalizing Intuitionistic Set Theory with Inaccessible Sets
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relating two standard notions of secrecy
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Model Checking Higher-Order Fixpoint Logic
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
On tractability and congruence distributivity
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text