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

On completeness of reducibility candidates as a semantics of strong normalization

Get full text

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

Get full text

A type reduction theory for systems with replicated components

Get full text

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis

Get full text

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

Get full text

A note on the expressive power of linear orders

Get full text