Cs-Lo
Building Decision Procedures in the Calculus of Inductive Constructions
Dependencies and Simultaneity in Membrane Systems
Coordination via Interaction Constraints I: Local Logic
Automatic modular abstractions for template numerical constraints
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
Security Theorems via Model Theory
On the Proof Complexity of Deep Inference
The Complexity of Datalog on Linear Orders
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
HORPO with Computability Closure : A Reconstruction
Explicit fairness in testing semantics
Variable binding, symmetric monoidal closed theories, and bigraphs
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Initial Algebra Semantics for Cyclic Sharing Tree Structures
Process Algebra as Abstract Data Types
Lectures on Jacques Herbrand as a Logician
Energy Parity Games
Temporal Runtime Verification using Monadic Difference Logic
A User Model for Information Erasure
Graph rewriting with polarized cloning
Alg`ebres de realisabilite: un programme pour bien ordonner R
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
