Journal of the ACM Bibliography

J. D. Ullman. Halting stack automata. Journal of the ACM, 16(4):550-563, October 1969. [BibTeX entry]
Additional Key Words and Phrases: stack automaton, halting problem, recursiveness, complementation, transition matrix, closure properties, nondeterministic stack automaton

Selected papers that cite this one

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database