Klaus Ulrich Schulz (schulz-ku)

Contributions à Philosophie.ch

Bibliography

Baader, Franz and Schulz, Klaus Ulrich. 1992. “Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.” in CADE-11. Proceedings of the 11th International Conference on Automated Deduction, edited by V. Srinivasan, pp. 50–65. Lecture Notes in Artificial Intelligence. Berlin: Springer.
Baader, Franz and Schulz, Klaus Ulrich, eds. 1996. Frontiers of Combining Systems. vol. I. Dordrecht: Kluwer Academic Publishers.
Baader, Franz and Schulz, Klaus Ulrich. 1998. “Unification Theory.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 225–264. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Gross, Gaston and Schulz, Klaus Ulrich, eds. 2008. Linguistics, Computer Science and Language Processing. Festschrift for Franz Guenthner on the Occasion of his 60th Birthday. Tributes n. 6. London: King’s College Publications.
Schulz, Klaus Ulrich and Gabbay, Dov M. 1995. “Logic Finite Automata.” in Applied Logic: How, What, and Why? Logical Approaches to Natural Language, edited by László Pólos and Michael Masuch, pp. 237–285. Synthese Library n. 247. Dordrecht: Kluwer Academic Publishers.