( en | de | ru )

 

Disambiguierung von "Schreye, Danny De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Termination Analysis for Tabled Logic Programming.

, , , , und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 111-127. Springer, (1997)

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.

Danny Bachfeld

Analyse des Hygienestatus im Zentrum für Zahn-, Mund- und Kieferheilkunde der Universität Greifswald, ergänzt durch eine experimentelle Studie zur Wirkung von Guanidinthiocyanat auf Nickel-Titan-Instrumente. Uni Greifswald, (2009)

Danny Schulze

Danny Bot

Danny Bartholome

Danny Fritzsch

 

Weitere Publikationen von Autoren mit dem selben Namen

Non-tranformational termination analysis of logic programs, based on general term-orderings., und . LOPSTR, Volume UMCS-00-6-1 von Technical Report, Department of Computer Science, University of Manchester, (2000)Representing Incomplete Knowledge in Abductive Logic Programming., und . J. Log. Comput., 5 (5): 553-577 (1995)A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs., , und . ISLP, Seite 117-131. MIT Press, (1991)The Abductive Event Calculus as a General Framework for Temporal Databases., , und . ICTL, Volume 827 von Lecture Notes in Computer Science, Seite 301-316. Springer, (1994)Semantic interpretation of temporal information by abductive inference, , , , und . CoRR, (2000)Termination Analysis of CHR Revisited., und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 501-515. Springer, (2008)Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings., und . LOPSTR (LNCS 2042: Selected Papers), Volume 2042 von Lecture Notes in Computer Science, Seite 69-85. Springer, (2000)Termination Analysis for Tabled Logic Programming., , , , und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 111-127. Springer, (1997)Acceptability with General Orderings., und . Computational Logic: Logic Programming and Beyond, Volume 2407 von Lecture Notes in Computer Science, Seite 187-210. Springer, (2002)On Termination of Logic Programs with Floating Point Computations., und . SAS, Volume 2477 von Lecture Notes in Computer Science, Seite 151-164. Springer, (2002)