Search results for: Matthias Baaz
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 65-79
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 113-123
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 24-37
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 112-126
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 28-42
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 8. Proof-Theory 2 > 451-466
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Automated Theorem Proving > 201-216