Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Natural Transformations as Rewrite Rules and Monad Composition
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Probabilistic call by push value
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Subsumption Algorithms for Three-Valued Geometric Resolution
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Axioms for Modelling Cubical Type Theory in a Topos
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
One-way definability of two-way word transducers
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Taylor expansion in linear logic is invertible
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Flat Freeze LTL on One-Counter Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reasoning About Bounds in Weighted Transition Systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inducing syntactic cut-elimination for indexed nested sequents
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Termination in Convex Sets of Distributions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Separating regular languages with two quantifier alternations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Affine Sessions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reasoning with Finite Sets and Cardinality Constraints in SMT
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
The Complexity of All-switches Strategy Improvement
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extension by Conservation. Sikorski's Theorem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text