Robert A. Di Paola
Robert A. Di Paola.
The recursive unsolvability of the decision problem for the class of definite formulas.
Journal of the ACM
, 16(2):324-327, April 1969.
Citations, etc.
Robert A. Di Paola.
Random sets in subrecursive hierarchies.
Journal of the ACM
, 16(4):621-630, October 1969.
References, etc.
Robert A. Di Paola.
The solvability of the decision problem for classes of proper formulas and related results.
Journal of the ACM
, 20(1):112-126, January 1973.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database