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

Rewriting

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

Competition