8th IJCAR 2016: Coimbra, Portugal

Refine list

showing all ?? records

Invited Talks

Satisfiability of Boolean Formulas

Satisfiability Modulo Theory


Arithmetic Reasoning and Mechanizing Mathematics

First-Order Logic and Proof Theory

First-Order Theorem Proving

Higher-Order Theorem Proving

Modal and Temporal Logics

Non-classical Logics


a service of  Schloss Dagstuhl - Leibniz Center for Informatics