A near-optimal method for reasoning about action
- 1 April 1980
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 20 (2) , 231-254
- https://doi.org/10.1016/0022-0000(80)90061-6
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Prospects and Limitations of Automatic Assertion Generation for Loop ProgramsSIAM Journal on Computing, 1977
- The intrinsically exponential complexity of the circularity problem for attribute grammarsCommunications of the ACM, 1975
- Strong verification of programsIEEE Transactions on Software Engineering, 1975
- The synthesis of loop predicatesCommunications of the ACM, 1974
- Characterizations of Pushdown Machines in Terms of Time-Bounded ComputersJournal of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Trees and nest structuresThe Journal of Symbolic Logic, 1966
- Untersuchungen ber das logische Schlie en. IIMathematische Zeitschrift, 1935
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935