Cs-Lo
Logics for XML
Binding bigraphs as symmetric monoidal closed theories
A triangle-based logic for affine-invariant querying of spatial and spatio-temporal data
Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic
Towards a formalization of budgets
Color Graphs: An Efficient Model For Two-Dimensional Cellular Automata Linear Rules
Persistent Queries
Craig Interpolation for Quantifier-Free Presburger Arithmetic
Sheaves and geometric logic and applications to the modular verification of complex systems
P is not equal to NP
A General Framework for Sound and Complete Floyd-Hoare Logics
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
Timed Parity Games: Complexity and Robustness
A Compositional Query Algebra for Second-Order Logic and Uncertain Databases
Instruction sequences for the production of processes
Automatic Modular Abstractions for Linear Constraints
Phase transition for Local Search on planted SAT
First-Order and Temporal Logics for Nested Words
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Superposition for Fixed Domains
Resolution over Linear Equations and Multilinear Proofs
A proof of strong normalisation using domain theory
