Search results for: Peter Schroeder
Studia Logica > 2019 > 107 > 1 > 1-5
Studia Logica > 2019 > 107 > 1 > 233-246
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 247-262
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Journal of Philosophical Logic > 2015 > 44 > 3 > 321-335
Studia Logica > 2014 > 102 > 6 > 1185-1216