Journal of the ACM Bibliography

Dennis F. Cudia. General problems of formal grammars. Journal of the ACM, 17(1):31-43, January 1970. [BibTeX entry]
Additional Key Words and Phrases: formal grammars, Post correspondence problem, partial correspondence problem, one-one equivalent reducibility, one-one degrees, general problem, halting problem, ambiguity problem, nonrecursively enumerable degrees, unsolvability, decision problem for a recursively enumerable set of nonnegative integers, recursively enumerable degrees

Selected references


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