Author of the publication

Unification Revisited.

, , and . Foundations of Logic and Functional Programming, volume 306 of Lecture Notes in Computer Science, page 67-113. Springer, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A constraint extension to scalable vector graphics., , , , , and . WWW, page 489-498. ACM, (2001)Toward tighter tables., , and . ACM Symposium on Document Engineering, page 74-83. ACM, (2005)The Data Visualisation and Immersive Analytics Research Lab at Monash University., , , , , , , , and . Vis. Informatics, 4 (4): 41-49 (2020)Visualizing Argument Structure., , , , and . ISVC (1), volume 5358 of Lecture Notes in Computer Science, page 129-138. Springer, (2008)Where the data is: An exploratory study of mixed-reality in the wet lab domain., , , , , and . ECIS, (2021)An Object-Oriented Architecture for Constraint-Based Graphical Editing., , , and . Workshops on Object-Oriented Graphics (2), page 217-238. Springer, (1992)Guest Editor's Introduction., and . J. Vis. Lang. Comput., 10 (4): 313-316 (1999)Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs., , , and . WSA, volume 81-82 of Series Bigre, page 35-42. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)To the Gates of HAL: A HAL Tutorial., , , and . FLOPS, volume 2441 of Lecture Notes in Computer Science, page 47-66. Springer, (2002)Resource Usage Verification., , and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 212-229. Springer, (2003)