Thomas V. Griffiths
T. V. Griffiths.
The unsolvability of the equivalence problem for Lambda-free nondeterministic generalized machines.
Journal of the ACM
, 15(3):409-413, July 1968.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database