Search results for: Christoph Kreitz
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Advances in Theorem Prover Technology > 287-303
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 105-120
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 262-276
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 106-121
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 122-137
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 244-260
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > System Descriptions > 333-337
Lecture Notes in Computer Science > Practical Reasoning > 384-398
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Case Studies > 104-118
Lecture Notes in Computer Science > Automated Reasoning > Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving > 421-426