Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
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
-
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Rational streams coalgebraically
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Consistency and Completeness of Rewriting in the Calculus of Constructions
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Game Refinement Relations and Metrics
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coinductive Formal Reasoning in Exact Real Arithmetic
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Separability in the Ambient Logic
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exhaustible sets in higher-type computation
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Canonical calculi with (n,k)-ary quantifiers
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Enriched MU-Calculi Module Checking
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text