( en | de | ru )

 

Disambiguierung von "Hilfinger, Paul N."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Tagging Method for Parallel Constraint Satisfaction.

, , und . J. Parallel Distributed Comput., 16 (1): 72-75 (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.

n n n

Ute Hilfinger

Andreas Hilfinger

n AÊ¿w n

N -L N Nguyen

 

Weitere Publikationen von Autoren mit dem selben Namen

An Ada Package for Dimensional Analysis.. ACM Trans. Program. Lang. Syst., 10 (2): 189-203 (1988)Language design for the Ironman requirement: reference manual., , und . ACM SIGPLAN Notices, 13 (9): 36-58 (1978)Validating The Utility Of Abstraction Techniques., , , , , , , und . ACM Annual Conference (1), Seite 106-110. ACM, (1978)Register allocation in the SPUR Lisp compiler., und . SIGPLAN Symposium on Compiler Construction, Seite 255-263. ACM, (1986)A Tagging Method for Parallel Constraint Satisfaction., , und . J. Parallel Distributed Comput., 16 (1): 72-75 (1992)Multiprocessing Extensions in Spur Lisp., , , , und . IEEE Software, 6 (4): 41-49 (1989)Analysis of Recursive Types in Lisp-Like Languages., und . LISP and Functional Programming, Seite 216-225. ACM, (1992)Detecting Conflicts Between Structure Accesses., und . PLDI, Seite 21-34. ACM, (1988)Flattening a Rooted Tree., , und . Applied Geometry And Discrete Mathematics, Volume 4 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 335-340. DIMACS/AMS, (1990)Evaluation of the SPUR Lisp Architecture., , , , und . ISCA, Seite 444-452. IEEE Computer Society, (1986)