( en | de | ru )

 

Disambiguierung von "Boulanger, Dmitri"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deriving Transformations for Logic Programs Using Abstract Interpretation.

, und . LOPSTR, Seite 99-117. Springer, (1992)

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.

Eugen Boulanger

Werner Boulanger

Günther Boulanger

Horst Boulanger

Christian Boulanger

 

Weitere Publikationen von Autoren mit dem selben Namen

Deriving Transformations for Logic Programs Using Abstract Interpretation., und . LOPSTR, Seite 99-117. Springer, (1992)Using Objects to Build Constraint Databases., und . WLP, Volume 90 von GMD Report, Seite 101-113. (2000)A Systematic Construction of Abstract Domains, und . SAS, Volume 864 von Lecture Notes in Computer Science, Seite 61-77. Springer, (1994)Using Call/Exit Analysis for Logic Program Transformation., und . LOPSTR, Volume 883 von Lecture Notes in Computer Science, Seite 36-50. Springer, (1994)Using Abstract Interpretation for Goal Replacement., und . LOPSTR, Seite 210-228. Springer, (1993)Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs., , und . LPE, Seite 39-51. IRISA, Campus de Beaulieu, France, (1993)Compiling Control Revisited: A New Approach based upon Abstract Interpretation., und . ICLP, Seite 699-713. MIT Press, (1994)Constraint-basierte Planung und Konfiguration (system description)., , , , , , , und . WLP, Ludwig Maximilians Universität München, (1997)Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon., , , und . WLP, Ludwig Maximilians Universität München, (1997)Abstracting s-semantincs Using A Model-Theoretic Approach., , und . PLILP, Volume 844 von Lecture Notes in Computer Science, Seite 432-446. Springer, (1994)