22. CADE 2009: Montreal, Canada

Invited Talk

Combinations and Extensions

Minimal Unsatisfiability and Automated Reasoning Support

System Descriptions

Invited Talk

Interpolation and Predicate Abstraction

Resolution-Based Systems for Non-classical Logics

Termination Analysis and Constraint Solving

Invited Talk

Rewriting, Termination and Productivity


Modal Tableaux with Global Caching


maintained by Schloss Dagstuhl LZI at University of Trier