Algorithmic Randomness and Capacity of Closed Sets

Get full text

Coherent and finiteness spaces

Get full text

Randomisation and Derandomisation in Descriptive Complexity Theory

Get full text

Composition with Target Constraints

Get full text

On the mathematical synthesis of equational logics

Get full text

Logical Concurrency Control from Sequential Proofs

Get full text

Real Analytic Machines and Degrees

Get full text

Conway games, algebraically and coalgebraically

Get full text

Permission-Based Separation Logic for Message-Passing Concurrency

Get full text

Answering Non-Monotonic Queries in Relational Data Exchange

Get full text

Co-c.e. spheres and cells in computable metric spaces

Get full text

Constraint solving in non-permutative nominal abstract syntax

Get full text

Monotonicity Constraints for Termination in the Integer Domain

Get full text

EXPTIME Tableaux for the Coalgebraic mu-Calculus

Get full text

Realizability algebras: a program to well order R

Get full text

The Derivational Complexity Induced by the Dependency Pair Method

Get full text

First-order query evaluation on structures of bounded degree

Get full text

Turing machines on represented sets, a model of computation for Analysis

Get full text

TRX: A Formally Verified Parser Interpreter

Get full text

Amortised Resource Analysis with Separation Logic

Get full text