Crash-Stop Failures in Asynchronous Multiparty Session Types

Get full text

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories

Get full text

Safety and Liveness of Quantitative Properties and Automata

Get full text

A Game of Pawns

Get full text

Strong negation in the theory of computable functionals TCF

Get full text

About the Expressive Power and Complexity of Order-Invariance with Two Variables

Get full text

Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries

Get full text

Characterising memory in infinite games

Get full text

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

Get full text

With a little help from your friends: semi-cooperative games via Joker moves

Get full text

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

Get full text

On the Existence of Reactive Strategies Resilient to Delay

Get full text

Proof complexity of positive branching programs

Get full text

On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories

Get full text

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

Get full text

Congruence Closure Modulo Groups

Get full text

Playing Stochastically in Weighted Timed Games to Emulate Memory

Get full text

A Simple Algorithm for Consistent Query Answering under Primary Keys

Get full text

Constant-delay enumeration for SLP-compressed documents

Get full text

The Formal Theory of Monads, Univalently

Get full text