PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM.
Journal articles
Halpern, JY; Reif, JH
Published in: Annual Symposium on Foundations of Computer Science Proceedings
December 1, 1981
Duke Scholars
Altmetric Attention Stats
Dimensions Citation Stats
Published In
Annual Symposium on Foundations of Computer Science Proceedings
ISSN
0272-5428
Publication Date
December 1, 1981
Start / End Page
322 / 334
Citation
APA
Chicago
ICMJE
MLA
NLM
Halpern, J. Y., & Reif, J. H. (1981). PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM. Annual Symposium on Foundations of Computer Science Proceedings, 322–334.
Halpern, J. Y., and J. H. Reif. “PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM.” Annual Symposium on Foundations of Computer Science Proceedings, December 1, 1981, 322–34.
Halpern JY, Reif JH. PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM. Annual Symposium on Foundations of Computer Science Proceedings. 1981 Dec 1;322–34.
Halpern, J. Y., and J. H. Reif. “PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM.” Annual Symposium on Foundations of Computer Science Proceedings, Dec. 1981, pp. 322–34.
Halpern JY, Reif JH. PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM. Annual Symposium on Foundations of Computer Science Proceedings. 1981 Dec 1;322–334.
Published In
Annual Symposium on Foundations of Computer Science Proceedings
ISSN
0272-5428
Publication Date
December 1, 1981
Start / End Page
322 / 334