Playing with Repetitions in Data Words Using Energy Games

Get full text

Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality

Get full text

Forward Analysis for WSTS, Part III: Karp-Miller Trees

Get full text

Consistency of circuit lower bounds with bounded theories

Get full text

Completeness of the ZX-Calculus

Get full text

Trace Refinement in Labelled Markov Decision Processes

Get full text

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

Get full text

On properties of $B$-terms

Get full text

Cellular Cohomology in Homotopy Type Theory

Get full text

Register Games

Get full text

Tight Polynomial Worst-Case Bounds for Loop Programs

Get full text

On the incomputability of computable dimension

Get full text

Representing Dependencies in Event Structures

Get full text

Reachability for infinite time Turing machines with long tapes

Get full text

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Get full text

Automata Minimization: a Functorial Approach

Get full text

A new coinductive confluence proof for infinitary lambda calculus

Get full text

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

Get full text

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

Get full text

Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix

Get full text