Author of the publication

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.

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

Denotational Semantics for Languages with Modules.. Formal Description of Programming Concepts, page 3-24. North-Holland, (1982)Basic Paramodulation and Superposition., , , and . CADE, volume 607 of Lecture Notes in Computer Science, page 462-476. Springer, (1992)Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract).. CADE, volume 1104 of Lecture Notes in Computer Science, page 1. Springer, (1996)Strict Basic Superposition., and . CADE, volume 1421 of Lecture Notes in Computer Science, page 160-174. Springer, (1998)Shostak Light.. CADE, volume 2392 of Lecture Notes in Computer Science, page 332-346. Springer, (2002)Ordered Chaining for Total Orderings., and . CADE, volume 814 of Lecture Notes in Computer Science, page 435-450. Springer, (1994)DPLL( T): Fast Decision Procedures., , , , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 175-188. Springer, (2004)Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification., , and . Int. J. Found. Comput. Sci., 11 (1): 3-27 (2000)Efficient Implementation of the Graphical Input/Output for Smalltalk-80., and . GI Jahrestagung (1), volume 126 of Informatik-Fachberichte, page 151-164. Springer, (1986)Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability.. ADT, University of Dortmund, (1982)