11th IJCAR 2022: Haifa, Israel

Refine list

showing all ?? records

Invited Talks

Satisfiability, SMT Solving, and Arithmetic

Calculi and Orderings

Knowledge Representation and Justification

Choices, Invariance, Substitutions, and Formalizations

Modal Logics

Proof Systems and Proof Search

Evolution, Termination, and Decision Problems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics