Author of the publication

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

Algorithm 113: Treesort.. Commun. ACM, 5 (8): 434 (1962)An Interpretation Oriented Theorem Prover over Integers, and . STOC, page 169-179. ACM, (1970)Algorithm 97: Shortest path. Communications of the ACM, 5 (6): 345 (1962)Permuting Information in Idealized Two-Level Storage.. Complexity of Computer Computations, page 105-109. Plenum Press, New York, (1972)A Note on Mathematical Induction on Phrase Structure Grammars. Inf. Control., 4 (4): 353-358 (December 1961)Toward Interactive Design of Correct Programs.. IFIP Congress (1), page 7-10. North-Holland, (1971)Linear Time Bounds for Median Computations, , , , and . STOC, page 119-124. ACM, (1972)Assigning meanings to programs. Mathematical aspects of computer science, 19 (19-32): 1 (1967)Time Bounds for Selection., , , , and . J. Comput. Syst. Sci., 7 (4): 448-461 (1973)The Paradigms of Programming. Commun. ACM, 22 (8): 455--460 (August 1979)