Full Text Available
Access Full Text at Repository
Search Results - "Computer"
-
Taylor expansion in linear logic is invertible
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Model Checking Flat Freeze LTL on One-Counter Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Reasoning About Bounds in Weighted Transition Systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Inducing syntactic cut-elimination for indexed nested sequents
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Termination in Convex Sets of Distributions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Separating regular languages with two quantifier alternations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Affine Sessions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Reasoning with Finite Sets and Cardinality Constraints in SMT
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
The Complexity of All-switches Strategy Improvement
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Extension by Conservation. Sikorski's Theorem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Codensity Lifting of Monads and its Dual
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
The Complexity of Bisimulation and Simulation on Finite Systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
On the algebraic structure of Weihrauch degrees
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Local Redundancy in SAT: Generalizations of Blocked Clauses
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text