2nd IJCAR / CADE / 13. TABLEAUX / 5. FroCoS / 6. FTP 2004: Cork, County Cork, Ireland


Saturation-Based Theorem Proving

Combination Techniques

Verification and Systems

Reasoning with Finite Structure

Tableaux and Non-classical Logics

Applications and Systems

Computer Mathematics

Interactive Theorem Proving

Combinatorial Reasoning

Higher-Order Reasoning


a service of Schloss Dagstuhl - Leibniz Center for Informatics