Bootstrapping Inductive and Coinductive Types in HasCASL

Get full text

On the Expressive Power of 2-Stack Visibly Pushdown Automata

Get full text

The Wadge Hierarchy of Deterministic Tree Languages

Get full text

Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning

Get full text

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

Get full text

A Rational Deconstruction of Landin's SECD Machine with the J Operator

Get full text

First-Order and Temporal Logics for Nested Words

Get full text

Coalgebraic Automata Theory: Basic Results

Get full text

Compactly accessible categories and quantum key distribution

Get full text

Multi-Objective Model Checking of Markov Decision Processes

Get full text

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations

Get full text

Recursive Concurrent Stochastic Games

Get full text

Light Logics and the Call-by-Value Lambda Calculus

Get full text

Characterising Testing Preorders for Finite Probabilistic Processes

Get full text

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

Get full text

Logical Reasoning for Higher-Order Functions with Local State

Get full text

Interpolation in local theory extensions

Get full text

On the strength of proof-irrelevant type theories

Get full text

Model Checking Probabilistic Timed Automata with One or Two Clocks

Get full text

The Complexity of Enriched Mu-Calculi

Get full text