dblp.uni-trier.de www.uni-trier.de

22. CADE 2009: Montreal, Canada

Renate A. Schmidt (Ed.): Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Lecture Notes in Computer Science 5663 Springer 2009, ISBN 978-3-642-02958-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Copyright © Fri Nov 20 23:34:59 2009 by Michael Ley (ley@uni-trier.de)