A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

Get full text

Affine Sessions

Get full text

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

Get full text

Reasoning with Finite Sets and Cardinality Constraints in SMT

Get full text

Intuitionistic Layered Graph Logic: Semantics and Proof Theory

Get full text

Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

Get full text

The Complexity of All-switches Strategy Improvement

Get full text

Extension by Conservation. Sikorski's Theorem

Get full text

Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

Get full text

Codensity Lifting of Monads and its Dual

Get full text

The Complexity of Bisimulation and Simulation on Finite Systems

Get full text

On the algebraic structure of Weihrauch degrees

Get full text

Local Redundancy in SAT: Generalizations of Blocked Clauses

Get full text

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL

Get full text

Applicable Mathematics in a Minimal Computational Theory of Sets

Get full text

Event Structures for Petri nets with Persistence

Get full text

Equational Reasonings in Wireless Network Gossip Protocols

Get full text

On Interpolation and Symbol Elimination in Theory Extensions

Get full text

Proper Functors and Fixed Points for Finite Behaviour

Get full text

Defining Recursive Predicates in Graph Orders

Get full text