Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
A Reduced Semantics for Deciding Trace Equivalence
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Feasible Interpolation for QBF Resolution Calculi
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
A Recipe for State-and-Effect Triangles
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Inter-procedural Two-Variable Herbrand Equalities
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Certifying Confluence Proofs via Relative Termination and Rule Labeling
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Hopf and Lie algebras in semi-additive Varieties
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Subcomputable Schnorr Randomness
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Encoding Monomorphic and Polymorphic Types
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Automata for Specifying and Orchestrating Service Contracts
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Honesty by Typing
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
On linear rewriting systems for Boolean logic and some applications to proof theory
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Coalgebraic trace semantics via forgetful logics
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
On the Mints Hierarchy in First-Order Intuitionistic Logic
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Build your own clarithmetic I: Setup and completeness
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Discovering, quantifying, and displaying attacks
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Borel-piecewise continuous reducibility for uniformization problems
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Some theorems on passing from local to global presence of properties of functions
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Model Checking Spatial Logics for Closure Spaces
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text