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

Logical Step-Indexed Logical Relations

Get full text

Noncomputable functions in the Blum-Shub-Smale model

Get full text

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

Get full text

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Get full text

Model Checking CTL is Almost Always Inherently Sequential

Get full text

Banach Spaces as Data Types

Get full text