Author of the publication

Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

, , and (Eds.) Teubner-Texte zur Informatik Springer, Berlin, (1992)
DOI: 10.1007/978-3-322-95233-2

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A New Meta-complexity Theorem for Bottom-Up Logic Programs., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 514-528. Springer, (2001)On Restrictions of Ordered Paramodulation with Simplification., and . CADE, volume 449 of Lecture Notes in Computer Science, page 427-441. Springer, (1990)Saturation-Based Theorem Proving (Abstract).. ICALP, volume 1099 of Lecture Notes in Computer Science, page 1-3. Springer, (1996)Logical Algorithms., and . ICLP, volume 2401 of Lecture Notes in Computer Science, page 209-223. Springer, (2002)Efficient deductive methods for program analysis.. POPL, page 102-103. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Ground Term Confluence in Parametric Conditional Equational Specifications.. STACS, volume 247 of Lecture Notes in Computer Science, page 286-298. Springer, (1987)MARVIN: a Tool for Applicative and Modular Compiler Specifications, , and . Forschungsbericht, 220. Fachbereich Informatik, University Dortmund, (July 1986)On the Design of Data Abstraction Mechanisms for Compiler Description Languages. Programming Languages and System Design, Elsevier/North Holland, (1983)Verschränkung von Compiler-Moduln, and . GI 5. Jahrestagung, volume 34 of Lecture Notes in Computer Science, page 654--666. New York--Heidelberg--Berlin, Springer-Verlag, (October 1975)Dortmund.Order-Sorted Completion: The Many-Sorted Way.. Theor. Comput. Sci., 89 (1): 3-32 (1991)