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

An Interpretation Oriented Theorem Prover over Integers, and . STOC, page 169-179. ACM, (1970)Algorithm 113: Treesort.. Commun. ACM, 5 (8): 434 (1962)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)The Compilation of Regular Expressions into Integrated Circuits (Extended Abstract), and . FOCS, page 260-269. IEEE Computer Society, (1980)Time Bounds for Selection., , , , and . J. Comput. Syst. Sci., 7 (4): 448-461 (1973)Assigning meanings to programs. Mathematical aspects of computer science, 19 (19-32): 1 (1967)The Paradigms of Programming. Commun. ACM, 22 (8): 455--460 (August 1979)Toward Interactive Design of Correct Programs.. IFIP Congress (1), page 7-10. North-Holland, (1971)