1st IJCAR 2001: Siena, Italy

Refine list

showing all ?? records

Invited Talks

Description, Modal and Temporal Logics

Saturation Based Theorem Proving, Applications, and Data Structures

Logic Programming and Nonmonotonic Reasoning

Propositional Satisfiability and Quantified Boolean Logic

Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving

Semantic Guidance

Equational Theorem Proving and Term Rewriting

Tableau, Sequent, Natural Deduction Calculi and Proof Theory

Automata, Specification, Verification, and Logics of Programs

Nonclassical Logics

a service of  Schloss Dagstuhl - Leibniz Center for Informatics