Bernhard Beckert (beckert-b)

Contributions to Philosophie.ch

Bibliography

Beckert, Bernhard. 1998. “Rigid E-Unification.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 265–290. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Beckert, Bernhard. 1999. “Equality and other Theories.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 197–254. Berlin: Springer.
Beckert, Bernhard and Goré, Rajeev. 2001. “Free-Variable Tableaux for Propositional Modal Logics.” Studia Logica: An International Journal for Symbolic Logic 69(1): 59–96.
Beckert, Bernhard and Hähnle, Reiner. 1998. “Analytic Tableaux.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 11–42. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.