On the equivalence of game and denotational semantics for the probabilistic mu-calculus

Get full text

Secure the Clones

Get full text

Quantifier-Free Interpolation of a Theory of Arrays

Get full text

Intuitionistic implication makes model checking hard

Get full text

Barriers in Concurrent Separation Logic: Now With Tool Support!

Get full text

Extended Initiality for Typed Abstract Syntax

Get full text

Tree-width for first order formulae

Get full text

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

Get full text

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving

Get full text

On Irrelevance and Algorithmic Equality in Predicative Type Theory

Get full text

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

Get full text

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

Get full text

On the Parameterized Intractability of Monadic Second-Order Logic

Get full text

Formal Theories for Linear Algebra

Get full text

On Global Types and Multi-Party Session

Get full text

Modeling Adversaries in a Logic for Security Protocol Analysis

Get full text

Alternating register automata on finite words and trees

Get full text

The rapid points of a complex oscillation

Get full text

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability

Get full text

Derivation Lengths Classification of Gödel's T Extending Howard's Assignment

Get full text