An axiomatic approach to the equivalence problems of algorithms with applications
By: Shigeru Igarashi
Contributors: Tōkyō Daigaku
Published: 1964
Language: eng
Notes: Thesis (doctoral)--University of Tokyo, 1964.