Journal of the ACM Bibliography

Edward Ashcroft, Zohar Manna, and Amir Pnueli. Decidable properties of monadic functional schemas. Journal of the ACM, 20(3):489-499, July 1973. [BibTeX entry]
Additional Key Words and Phrases: monadic functional schemas, decision problems, equivalence, freedom, formal languages, automata theory

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