( en | de | ru )

 

Disambiguation of "Ganzinger, Harald"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Harald Ganzinger

Harald Ganzinger

Harald Ganzinger

Matthias Ganzinger

Harald Bertram

Moderne kathetergesteuerte Diagnostik und Therapie kongenitaler kardiovaskulärer Anomalien. MedH Hannover, habilitation, (2009)
 

Other publications of authors with the same name

A note on termination in combinatiosn of heterogeneous term rewriting systems., and . Bulletin of the EATCS, (1987)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)Denotational Semantics for Languages with Modules.. Formal Description of Programming Concepts, page 3-24. North-Holland, (1982)Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability.. ADT, University of Dortmund, (1982)DPLL( T): Fast Decision Procedures., , , , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 175-188. Springer, (2004)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)