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

Schloss Dagstuhl LZI