Eitan M. Gurari
Eitan M. Gurari and Oscar H. Ibarra.
An NP-complete number-theoretic problem.
Journal of the ACM
, 26(3):567-581, July 1979.
Eitan M. Gurari and Oscar H. Ibarra.
The complexity of the equivalence problem for simple programs.
Journal of the ACM
, 28(3):535-560, July 1981.
Eitan M. Gurari and Oscar H. Ibarra.
Two-way counter machines and Diophantine equations.
Journal of the ACM
, 29(3):863-873, July 1982.
Citations.
Eitan M. Gurari.
Decidable problems for powerful programs.
Journal of the ACM
, 32(2):466-483, April 1985.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database