22nd CADE 2009: Montreal, Canada

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics