Search results for: Kai Brünnler
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 172-186
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Foundations of Logic > 347-361
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 8. Proof-Theory 2 > 482-496
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 152-166
Lecture Notes in Computer Science
Annals of Pure and Applied Logic > 2012 > 163 > 12 > 1838-1853
Annals of Pure and Applied Logic > 2009 > 160 > 1 > 82-95
Electronic Notes in Theoretical Computer Science > 2009 > 231 > Complete > 227-240
Archive for Mathematical Logic > 2009 > 48 > 6 > 551-577
Journal of Logic and Algebraic Programming > 2008 > 76 > 2 > 216-225
Studia Logica > 2006 > 82 > 1 > 51-71
Studia Logica > 2006 > 82 > 1 > 51-71