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.

 

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

Legality Concepts for Three-Valued Logic Programs., , , , и . Theor. Comput. Sci., 120 (1): 45-68 (1993)Visual-Language System for User Interfaces., , , , , , и . IEEE Software, 12 (2): 33-44 (1995)Writing and Analyzing System Specifications by Integrated Linguistic Tools., , , и . International Journal of Software Engineering and Knowledge Engineering, 7 (1): 69-99 (1997)Demonizing Production Systems., и . IJCAI, стр. 862-866. William Kaufmann, (1983)Symbol-Relation Grammars: A Formalism for Graphical Languages., , , , , , и . Inf. Comput., 131 (1): 1-46 (1996)A Sleeper-based Prolog Interpreter with Loop Checks., , , и . GULP-PRODE (2), стр. 379-392. (1994)The Sharing of Partial Results in Nondeterministic Computations., , и . AIMSA, стр. 93-103. North-Holland, (1986)MAGMA-LISP: A "Machine Language" For Artificial Intelligence., , и . IJCAI, стр. 556-561. (1975)Grammatical inference algorithms for the generation of visual languages., , , , и . J. Vis. Lang. Comput., 1 (4): 355-368 (1990)RSF: A Formalism for Executable Requirement Specifications., , , и . IEEE Trans. Software Eng., 16 (11): 1235-1246 (1990)