Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Separating regular languages with two quantifier alternations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
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
-
Codensity Lifting of Monads and its Dual
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Bisimulation and Simulation on Finite Systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the algebraic structure of Weihrauch degrees
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Local Redundancy in SAT: Generalizations of Blocked Clauses
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Event Structures for Petri nets with Persistence
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Equational Reasonings in Wireless Network Gossip Protocols
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Interpolation and Symbol Elimination in Theory Extensions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proper Functors and Fixed Points for Finite Behaviour
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Defining Recursive Predicates in Graph Orders
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text