Joyce Friedman
Joyce Friedman.
A decision procedure for computations of finite automata.
Journal of the ACM
, 9(3):315-323, July 1962.
References.
Joyce Friedman.
A semi-decision procedure for the functional calculus.
Journal of the ACM
, 10(1):1-24, January 1963.
References and Citations.
Joyce Friedman.
A computer program for a solvable case of the decision problem.
Journal of the ACM
, 10(3):348-356, July 1963.
References.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database