Cs-Lo
Lindstrom theorems for fragments of first-order logic
Coherent and finiteness spaces
On the complexity of identifying Head Elementary Set Free programs
Counting Distinctions: On the Conceptual Foundations of Shannons Information Theory
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
On external presentations of infinite graphs
Complex Algebras of Arithmetic
Symbolic Implementation of Connectors in BIP
The Complexity of Infinite Computations In Models of Set Theory
Full abstraction for nominal general references
Infinite Oracle Queries in Type-2 Machines (Extended Abstract)
Refinement and Verification of Real-Time Systems
Unprovability of the Logical Characterization of Bisimulation
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation
Deduction as Reduction
A Calculus of Consistent Component-based Software Updates
Blocking Underhand Attacks by Hidden Coalitions (Extended Version)
Ackermannian and Primitive-Recursive Bounds with Dicksons Lemma
Acyclic Solos and Differential Interaction Nets
Breaking Symmetries
A Transformation-based Implementation for CLP with Qualification and Proximity
Symmetry-breaking Answer Set Solving
