PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM.
Publication
, Journal Article
Halpern, JY; Reif, JH
Published in: Annual Symposium on Foundations of Computer Science - Proceedings
December 1, 1981
Duke Scholars
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