Decidable Properties of Monadic Functional Schemas.

Edward A. Ashcroft, Zohar Manna, Amir Pnueli: Decidable Properties of Monadic Functional Schemas. J. ACM 20(3): 489-499(1973)

@article{DBLP:journals/jacm/AshcroftMP73,
  author    = {Edward A. Ashcroft and
               Zohar Manna and
               Amir Pnueli},
  title     = {Decidable Properties of Monadic Functional Schemas},
  journal   = {J. ACM},
  volume    = {20},
  number    = {3},
  year      = {1973},
  pages     = {489-499},
  ee        = {db/journals/jacm/AshcroftMP73.html, http://doi.acm.org/10.1145/321765.321780},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27

BibTeX