( en | de | ru )

 

Disambiguierung von "Søndergaard, Harald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Array Manipulating Programs by Program Transformation.

, , , , , und . LOPSTR, Volume 8981 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2014)

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 Bertram

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

Harald Kliebhan

Harald Gümbel

Harald Richter

Harald Verschuer

 

Weitere Publikationen von Autoren mit dem selben Namen

A Characterization of Non-Floundering Logic Programs., , und . NACLP, Seite 661-680. MIT Press, (1990)Analysis of Constraint Logic Programs., und . NACLP, Seite 531-547. MIT Press, (1990)Fragment-Based Planning Using Column Generation., , , und . ICAPS, AAAI, (2014)Precise and Efficient Groundness Analysis for Logic Programs., und . LOPLAS, 2 (1-4): 181-196 (1993)Denotational Abstract Interpretation of Logic Programs., , und . ACM Trans. Program. Lang. Syst., 16 (3): 607-648 (1994)Sharing and groundness dependencies in logic programs., , und . ACM Trans. Program. Lang. Syst., 21 (5): 948-976 (1999)Meta-circular Abstract Interpretation in Prolog., und . The Essence of Computation, Volume 2566 von Lecture Notes in Computer Science, Seite 109-134. Springer, (2002)Termination Analysis for Mercury., , und . SAS, Volume 1302 von Lecture Notes in Computer Science, Seite 160-171. Springer, (1997)MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)., , und . MFPS, Volume 298 von Lecture Notes in Computer Science, Seite 386-413. Springer, (1987)Abstract Interpretation of Active Rules and its Use in Termination Analysis., , , und . ICDT, Volume 1186 von Lecture Notes in Computer Science, Seite 188-202. Springer, (1997)