Autor der Publikation

Unification Revisited.

, , und . Foundations of Logic and Functional Programming, Volume 306 von Lecture Notes in Computer Science, Seite 67-113. Springer, (1986)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploration of Networks using overview+detail with Constraint-based cooperative layout., , , , , und . IEEE Trans. Vis. Comput. Graph., 14 (6): 1293-1300 (2008)Authoring diagrams that adapt to their viewing context., , und . J. Vis. Lang. Comput., (2018)Independence in CLP languages., , und . ACM Trans. Program. Lang. Syst., 22 (2): 296-339 (2000)Incremental analysis of constraint logic programs., , , und . ACM Trans. Program. Lang. Syst., 22 (2): 187-223 (2000)Optimizing Compilation of CLP(R)., , , , und . ACM Trans. Program. Lang. Syst., 20 (6): 1223-1250 (1998)Constraint Cascading Style Sheets for the Web., , , und . ACM Symposium on User Interface Software and Technology, Seite 73-82. ACM, (1999)Solving Linear Arithmetic Constraints for User Interface Applications., , , und . ACM Symposium on User Interface Software and Technology, Seite 87-96. ACM, (1997)Automatic float placement in multi-column documents., , und . ACM Symposium on Document Engineering, Seite 125-134. ACM, (2007)Minimum sized text containment shapes., , und . ACM Symposium on Document Engineering, Seite 3-12. ACM, (2006)Authoring adaptive diagrams., , und . ACM Symposium on Document Engineering, Seite 154-163. ACM, (2008)