( en | de | ru )

 

Disambiguierung von "Fecht, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Disjuntive Completion Is Not Öptimal".

, und . ILPS, Seite 408. MIT Press, (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.

Christian Fecht

Heinz Fecht

Hermann Fecht

Enno Fecht

Ottmar Fecht

 

Weitere Publikationen von Autoren mit dem selben Namen

Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems., und . ESOP, Volume 1381 von Lecture Notes in Computer Science, Seite 90-104. Springer, (1998)Interprocedural Analysis Based on PDAs, und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1997)GENA - A Tool for Generating Prolog Analyzers from Specifications. SAS, Volume 983 von Lecture Notes in Computer Science, Seite 418-419. Springer, (1995)Interprocedural Analyses: A Comparison., und . J. Log. Program., 43 (2): 123-156 (2000)Disjuntive Completion Is Not Öptimal"., und . ILPS, Seite 408. MIT Press, (1997)An Even Faster Solver for General Systems of Equations., und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 189-204. Springer, (1996)A Faster Solver for General Systems of Equations., und . Sci. Comput. Program., 35 (2): 137-161 (1999)An Efficient and Precise Sharing Domain for Logic Programs.. PLILP, Volume 1140 von Lecture Notes in Computer Science, Seite 469-470. Springer, (1996)Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems, und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1997)