4th IJCAR (CADE, FroCoS, TABLEAUX, FTP) 2008: Sydney, NSW, Australia

Refine list

showing all ?? records

Invited Talk

Specific Theories

Automated Verification

Protocol Verification

System Descriptions 1

Invited Talk

Modal Logics

Description Logics

System Descriptions 2

Invited Talk

Equational Theories

Invited Talk

Theorem Proving 1

CASC

Theorem Proving 2

Logical Frameworks

Tree Automata

a service of  Schloss Dagstuhl - Leibniz Center for Informatics