Universal Structures and the logic of Forbidden Patterns

Get full text

Simulating reachability using first-order logic with applications to verification of linked data structures

Get full text

Polynomial Size Analysis of First-Order Shapely Functions

Get full text

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

Get full text

Solving Simple Stochastic Games with Few Random Vertices

Get full text

Ranking Functions for Size-Change Termination II

Get full text

Qualitative Logics and Equivalences for Probabilistic Systems

Get full text

The Church Problem for Countable Ordinals

Get full text

The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus

Get full text

Footprints in Local Reasoning

Get full text

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Get full text

Neighbourhood Structures: Bisimilarity and Basic Model Theory

Get full text

A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

Get full text

On tiered small jump operators

Get full text

Cut-Simulation and Impredicativity

Get full text

Antichains for the Automata-Based Approach to Model-Checking

Get full text

The Complexity of Datalog on Linear Orders

Get full text

The Safe Lambda Calculus

Get full text

The Complexity of Generalized Satisfiability for Linear Temporal Logic

Get full text

Beyond Language Equivalence on Visibly Pushdown Automata

Get full text