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

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics