( en | de | ru )

 

Disambiguierung von "Janssens, Gerda"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.

, , und . PDK, Volume 567 von Lecture Notes in Computer Science, Seite 309-317. Springer, (1991)

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

Live-Structure Analysis for Logic Programming Languages with Declarations., , und . ICLP, Seite 33-47. MIT Press, (1997)Analyzing & debugging ILP data mining query execution., und . AADEBUG, Seite 105-110. ACM, (2005)Practical Aspects for a Working Compile Time Garbage Collection System for Mercury., , , und . ICLP, Volume 2237 von Lecture Notes in Computer Science, Seite 105-119. Springer, (2001)Static Region Analysis for Mercury., und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2007)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)ProbLog Technology for Inference in a Probabilistic First Order Logic., , , , , , und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 719-724. IOS Press, (2010)Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis., , , und . APLAS, Volume 3780 von Lecture Notes in Computer Science, Seite 330-346. Springer, (2005)Experience with widening based equivalence checking in realistic multimedia systems., , , , und . HLDVT, Seite 122-129. IEEE Computer Society, (2009)Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment., , , , und . RuleML (Supplement), Volume 1620 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)Automatic functional verification of memory oriented global source code transformations., , , und . HLDVT, Seite 31-36. IEEE Computer Society, (2003)