Decidable Properties of Monadic Functional Schemas
Ashcroft, Edward, Manna, Zohar, Pnueli, AmirVolume:
20
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/321765.321780
Date:
July, 1973
File:
PDF, 695 KB
english, 1973