A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Get full text

The Structure of Differential Invariants and Differential Cut Elimination

Get full text

On computable approximations of Landau's constant

Get full text

Environment and classical channels in categorical quantum mechanics

Get full text

Adaptable processes

Get full text

Linear Dependent Types and Relative Completeness

Get full text

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees

Get full text

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

Get full text

Petri Net Reachability Graphs: Decidability Status of First Order Properties

Get full text

Off-line test selection with test purposes for non-deterministic timed automata

Get full text

On Berry's conjectures about the stable order in PCF

Get full text

Parameterised Multiparty Session Types

Get full text

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Get full text

On streams that are finitely red

Get full text

Essential Convexity and Complexity of Semi-Algebraic Constraints

Get full text

Linear-use CPS translations in the Enriched Effect Calculus

Get full text

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Get full text

Complexity classifications for different equivalence and audit problems for Boolean circuits

Get full text

URSA: A System for Uniform Reduction to SAT

Get full text

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Get full text