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
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller:
Method Schemas.
PODS 1990: 16-27
BibTeX
Copyright © Sun May 17 00:05:21 2009
by Michael Ley (ley@uni-trier.de)