Ann Yasuhara

Recursive function theory and logic

Ann Yasuhara, Ann Yasuhara, 1971, Computer science and applied mathematics.

A View of Computability on Term Algebras

Frank M. Hawrusik, Ann Yasuhara, K. N. Venkataraman, 1983, J. Comput. Syst. Sci..

Classes of functions for computing on binary trees (Extended Abstract)

Frank M. Hawrusik, Ann Yasuhara, K. N. Venkataraman, 1981, STOC '81.

A Remark on Post Normal Systems

Ann Yasuhara, 1967, JACM.

Review: Raymond M. Smullyan, On Post's Canonical Systems

Ann Yasuhara, 1968 .

The solvability of the word problem for certain semigroups

Ann Yasuhara, 1970 .

Review: A. V. Kuznecov, E. Mendelson, Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi

Ann Yasuhara, 1972 .