3. IJCAR (CADE, FroCoS, FTP, TABLEAUX, TPHOLs) 2006: Seattle, WA, USA

Invited Talks

Proofs

Search

System Description 1

Higher-Order Logic

Proof Theory

System Description 2

Search

Proof Theory

Proof Checking

Combination

Decision Procedures

CASC-J3

Rewriting

Description Logic