7th IJCAR (CADE, FroCoS, TABLEAUX) 2014: Vienna, Austria

Invited Papers

HOL

SAT and QBF

SMT

Equational Reasoning

Verification

Proof Theory

Modal and Temporal Reasoning

SMT and SAT

Modal Logic

Complexity

Description Logics

Knowledge Representation and Reasoning

a service of Schloss Dagstuhl - Leibniz Center for Informatics