Cs-Lo
On tractability and congruence distributivity
Toggling operators in computability logic
Edit and verify
The Complexity of Proving the Discrete Jordan Curve Theorem
Runtime Analysis of Probabilistic Programs with Unbounded Recursion
Theory of processes
Self-Recovering Sensor-Actor Networks
Complete Context Calculus Design and Implementation in GIPSY
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
The Derivational Complexity Induced by the Dependency Pair Method
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
