Reasoning About Bounds in Weighted Transition Systems

Get full text

Inducing syntactic cut-elimination for indexed nested sequents

Get full text

Termination in Convex Sets of Distributions

Get full text

Separating regular languages with two quantifier alternations

Get full text

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