Cs-Lo
Compatibility of Shelah and Stupps and Muchniks iteration with fragments of monadic second order logic
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
Automatic Verification of Correspondences for Security Protocols
Safety alternating automata on data words
Compact Labelings For Efficient First-Order Model-Checking
k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices
Environment Assumptions for Synthesis
Replication via Invalidating the Applicability of the Fixed Point Theorem
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
The Church Problem for Countable Ordinals
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
Automated Induction for Complex Data Structures
A Cloning Pushout Approach to Term-Graph Transformation
One useful logic that defines its own truth
(Mechanical) Reasoning on Infinite Extensive Games
Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus
Presentation of a Game Semantics for First-Order Propositional Logic
Cardinality and counting quantifiers on omega-automatic structures
A topological formal treatment for scenario-based software specification of concurrent real-time systems
Introduction to the 26th International Conference on Logic Programming Special Issue
Model Checking Event-B by Encoding into Alloy
Algorithms for B"uchi Games
