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
Shortcuts: