( en | de | ru )

 

Disambiguierung von "Ganzinger, Harald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Harald Ganzinger

Harald Ganzinger

Harald Ganzinger

Matthias Ganzinger

Harald Bertram

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

Weitere Publikationen von Autoren mit dem selben Namen

A note on termination in combinatiosn of heterogeneous term rewriting systems., und . Bulletin of the EATCS, (1987)Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification., , und . Int. J. Found. Comput. Sci., 11 (1): 3-27 (2000)Efficient Implementation of the Graphical Input/Output for Smalltalk-80., und . GI Jahrestagung (1), Volume 126 von Informatik-Fachberichte, Seite 151-164. Springer, (1986)Denotational Semantics for Languages with Modules.. Formal Description of Programming Concepts, Seite 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., , , , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 175-188. Springer, (2004)Basic Paramodulation and Superposition., , , und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 462-476. Springer, (1992)Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract).. CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 1. Springer, (1996)Strict Basic Superposition., und . CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 160-174. Springer, (1998)Shostak Light.. CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 332-346. Springer, (2002)