Gene F. Rose
Seymour Ginsburg and Gene F. Rose.
Some recursively unsolvable problems in ALGOL-like languages.
Journal of the ACM
, 10(1):29-47, January 1963.
References and Citations.
Seymour Ginsburg and G. F. Rose.
Operations which preserve definability in languages.
Journal of the ACM
, 10(2):175-195, April 1963.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database