Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Formalizing Randomized Matching Algorithms
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Software Model Checking with Explicit Scheduler and Symbolic Threads
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Efficient CSL Model Checking Using Stratification
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Completeness for the coalgebraic cover modality
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Relationship Between Separation Logic and Implicit Dynamic Frames
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Precompact Apartness Spaces
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
General Bindings and Alpha-Equivalence in Nominal Isabelle
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Vector Addition Systems with one zero-test
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generic Fibrational Induction
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Dynamic Dependency Pairs for Algebraic Functional Systems
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Refining Inductive Types
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Width and size of regular resolution proofs
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modes of Convergence for Term Graph Rewriting
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Secure the Clones
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantifier-Free Interpolation of a Theory of Arrays
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Intuitionistic implication makes model checking hard
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Barriers in Concurrent Separation Logic: Now With Tool Support!
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text