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

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

Get full text

Deciding Kleene Algebras in Coq

Get full text

Two-Variable Logic with Two Order Relations

Get full text

Typing Copyless Message Passing

Get full text

QRB-Domains and the Probabilistic Powerdomain

Get full text

A System F accounting for scalars

Get full text

Realizability algebras II : new models of ZF + DC

Get full text

Büchi Complementation and Size-Change Termination

Get full text

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

Get full text

Semantics and Algorithms for Parametric Monitoring

Get full text

Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem

Get full text

A dependent nominal type theory

Get full text

An extension of data automata that captures XPath

Get full text

Ground interpolation for the theory of equality

Get full text