Capturing the polynomial hierarchy by second-order revised Krom logic

Get full text

Reduction Free Normalisation for a proof irrelevant type of propositions

Get full text

On Presburger arithmetic extended with non-unary counting quantifiers

Get full text

Separating Sessions Smoothly

Get full text

A framework to measure the robustness of programs in the unpredictable environment

Get full text

Computing with Infinite Objects: the Gray Code Case

Get full text

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity

Get full text

Flexible Correct-by-Construction Programming

Get full text

Fixpoint Theory -- Upside Down

Get full text

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes

Get full text

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

Get full text

Adding Negation to Lambda Mu

Get full text

Enumerating Independent Linear Inferences

Get full text

Lowerbounds for Bisimulation by Partition Refinement

Get full text

SAT-Inspired Higher-Order Eliminations

Get full text

On Small Types in Univalent Foundations

Get full text

Stateful Realizers for Nonstandard Analysis

Get full text

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

Get full text

Inferring Symbolic Automata

Get full text

Causal Unfoldings and Disjunctive Causes

Get full text