( en | de | ru )

 

Disambiguierung von "Janssens, Gerda"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Practicality of Abstract Equation Systems.

, , , und . ICLP, Seite 781-795. MIT Press, (1995)

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.

Uwe Janssens

Ursula Gerdau

Thomas Gerdau

Uwe Janssens

Josefina Janssens

 

Weitere Publikationen von Autoren mit dem selben Namen

Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs., und . META, Volume 649 von Lecture Notes in Computer Science, Seite 294-307. Springer, (1992)Static Region Analysis for Mercury., und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2007)Experience with widening based equivalence checking in realistic multimedia systems., , , , und . HLDVT, Seite 122-129. IEEE Computer Society, (2009)Practical Aspects for a Working Compile Time Garbage Collection System for Mercury, , , und . CoRR, (2001)Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3., , und . Theory Pract. Log. Program., 13 (4-5): 691-704 (2013)Fast Frequent Querying with Lazy Control Flow Compilation., , , und . Theory Pract. Log. Program., 7 (4): 481-498 (2007)Live-Structure Analysis for Logic Programming Languages with Declarations., , und . ICLP, Seite 33-47. MIT Press, (1997)A Delta Debugger for ILP Query Execution, und . CoRR, (2007)Region-based memory management for Mercury programs, , und . CoRR, (2012)Analyzing & debugging ILP data mining query execution., und . AADEBUG, Seite 105-110. ACM, (2005)