Harald Ganzinger (ganzinger-h)

Contributi a Philosophie.ch

Bibliography

Bachmair, Leon and Ganzinger, Harald. 1998. “Equational Reasoning in Saturation-Based Theorem Proving.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 353–398. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Ganzinger, Harald, Hustadt, Ullrich, Meyer, Christoph and Schmidt, Renate A. 2000. “A Resolution-Based Decision Procedure for Extensions of K4.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 243–263. Stanford, California: CSLI Publications.