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.

 

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

A Space-Efficient List Structure Tracing Algorithm.. IEEE Trans. Computers, 21 (9): 1009-1010 (1972)Fast Computation of Optimal Contact Forces., и . IEEE Trans. Robotics, 23 (6): 1117-1132 (2007)Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract, , и . STOC, стр. 92-99. ACM, (1970)Goal-Directed Program Transformation.. POPL, стр. 153-170. ACM Press, (1976)Heuristic Methods for Mechanically Deriving Inductive Assertions.. IJCAI, стр. 524-536. William Kaufmann, (1973)The ECL programming system.. AFIPS Fall Joint Computing Conference, том 39 из AFIPS Conference Proceedings, стр. 253-262. AFIPS / ACM, (1971)The Synthesis of Loop Predicates.. Commun. ACM, 17 (2): 102-112 (1974)A generalised compactifying garbage collector.. Comput. J., 15 (3): 204-208 (1972)An implementation of backtracking for programming languages., , и . ACM Annual Conference (2), стр. 763-771. ACM, (1972)Studies in Extensible Programming Languages. Outstanding Dissertations in the Computer Sciences Garland Publishing, New York, (1970)