Cs-Lo
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming
Orthomodular Lattices Induced by the Concurrency Relation
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA
Synchronous Games, Simulations and lambda-calculus
Towards a Unified Framework for Declarative Structured Communications
Coinductive Formal Reasoning in Exact Real Arithmetic
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
A Logical Charaterisation of Ordered Disjunction
Deriving Relationship Between Semantic Models - An Approach for cCSP
Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference
Logic Column 18: Alternative Logics: A Book Review
On Some Sets of Dictionaries Whose omega-Powers Have a Given Complexity
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
The Structure of First-Order Causality
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
