7th IJCAR 2014: Vienna, Austria

Refine list

showing all ?? records

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