Context-Sensitive Languages, Rational Graphs and Determinism

Get full text

Modal Logics of Topological Relations

Get full text

A System of Interaction and Structure II: The Need for Deep Inference

Get full text

On the Expressiveness of the Ambient Logic

Get full text

The monadic second-order logic of graphs XVI : Canonical graph decompositions

Get full text

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Get full text

Extending the theory of Owicki and Gries with a logic of progress

Get full text

Approximate reasoning for real-time probabilistic processes

Get full text

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

Get full text

Computably Based Locally Compact Spaces

Get full text

Model Checking Probabilistic Pushdown Automata

Get full text

Theories for TC0 and Other Small Complexity Classes

Get full text

Modularizing the Elimination of r=0 in Kleene Algebra

Get full text

Probabilistic Algorithmic Knowledge

Get full text

Security Policies as Membranes in Systems for Global Computing

Get full text

Almost periodic functions, constructively

Get full text

Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Get full text

An Operational Foundation for Delimited Continuations in the CPS Hierarchy

Get full text

Internalising modified realisability in constructive type theory

Get full text

Strong normalisation for applied lambda calculi

Get full text