An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet

Get full text

Algebraic Pattern Matching in Join Calculus

Get full text

Independence and concurrent separation logic

Get full text

Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique

Get full text

Generative Unbinding of Names

Get full text

Call-by-value Termination in the Untyped lambda-calculus

Get full text

Lambda-RBAC: Programming with Role-Based Access Control

Get full text

Are there Hilbert-style Pure Type Systems?

Get full text

A proof of strong normalisation using domain theory

Get full text

Generic Trace Semantics via Coinduction

Get full text

Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

Get full text

The Church Synthesis Problem with Parameters

Get full text

Coinductive Proof Principles for Stochastic Processes

Get full text

Decisive Markov Chains

Get full text

A Characterisation of First-Order Constraint Satisfaction Problems

Get full text

A Note on Shortest Developments

Get full text

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

Get full text

Interactive Small-Step Algorithms I: Axiomatization

Get full text

Model Checking Synchronized Products of Infinite Transition Systems

Get full text

Interpolant-Based Transition Relation Approximation

Get full text