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

Models

Modal Tableaux with Global Caching

Arithmetic