From post

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.

 

Другие публикации лиц с тем же именем

Declarative Graphics., и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 513-527. Springer, (1986)Towards Flexible Graphical Communication Using Adaptive Diagrams., , и . ASIAN, том 3321 из Lecture Notes in Computer Science, стр. 380-394. Springer, (2004)Unification Revisited, , и . Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)HOLA: Human-like Orthogonal Network Layout., , , и . IEEE Trans. Vis. Comput. Graph., 22 (1): 349-358 (2016)Checking modes of HAL programs., , , , и . Theory Pract. Log. Program., 5 (6): 623-668 (2005)Blended UI Controls for Situated Analytics., , , и . BDVA, стр. 1-8. IEEE, (2016)Understanding Finiteness Analysis Using Abstract Interpretation., , и . JICSLP, стр. 735-749. MIT Press, (1992)A Characterization of Non-Floundering Logic Programs., , и . NACLP, стр. 661-680. MIT Press, (1990)Analysis of Constraint Logic Programs., и . NACLP, стр. 531-547. MIT Press, (1990)Herbrand Constraint Solving in HAL., , , , и . ICLP, стр. 260-274. MIT Press, (1999)