( en | de | ru )

 

Disambiguierung von "Frühwirth, Thom W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
DiagrammaticCHR: A Diagrammatic Representation of CHR Programs.

, , und . IV, Seite 121-126. IEEE Computer Society, (2015)

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.

Andreas Frühwirth

Sebastian Frühwirth

Andrea Thom

Martin Thom

Bodo Thom

 

Weitere Publikationen von Autoren mit dem selben Namen

Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules., und . WLP, Volume 90 von GMD Report, Seite 15. (2000)Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.. ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 113-127. Springer, (2005)Contraint Logic Programming - An Informal Introduction., , , , , , und . Logic Programming Summer School, Volume 636 von Lecture Notes in Computer Science, Seite 3-35. Springer, (1992)Logic Programs as Types for Logic Programs, , , und . LICS, Seite 300-309. IEEE Computer Society, (1991)Annotated Constraint Logic Programming Applied to Temporal Reasoning.. PLILP, Volume 844 von Lecture Notes in Computer Science, Seite 230-243. Springer, (1994)Constraint Handling Rules (Extended Abstract).. WLP, Seite 120-129. Institut für Informatik der Universität Zürich, (1994)Integration and Optimization of Rule-Based Constraint Solvers., und . LOPSTR, Volume 3018 von Lecture Notes in Computer Science, Seite 198-213. Springer, (2003)A devil's advocate against termination of direct recursion.. PPDP, Seite 103-113. ACM, (2015)Operational Equivalence of CHR Programs and Constraints., und . CP, Volume 1713 von Lecture Notes in Computer Science, Seite 43-57. Springer, (1999)On Completion of Constraint Handling Rules., und . CP, Volume 1520 von Lecture Notes in Computer Science, Seite 25-39. Springer, (1998)