From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

STP: A Mechanized Logic for Specification and Verification.

R. Shostak, R. Schwartz, и P. Melliar-Smith. CADE, том 138 из Lecture Notes in Computer Science, стр. 32-49. Springer, (1982)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Deciding Linear Inequalities by Computing Loop Residues.R. Shostak. J. ACM, 28 (4): 769-779 (1981)STP: A Mechanized Logic for Specification and Verification.R. Shostak, R. Schwartz, и P. Melliar-Smith. CADE, том 138 из Lecture Notes in Computer Science, стр. 32-49. Springer, (1982)Gossips and telephones.B. Baker, и R. Shostak. Discret. Math., 2 (3): 191-193 (1972)A Practical Decision Procedure for Arithmetic with Function Symbols.R. Shostak. J. ACM, 26 (2): 351-360 (1979)Deciding Combinations of Theories.R. Shostak. CADE, том 138 из Lecture Notes in Computer Science, стр. 209-222. Springer, (1982)The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.J. Wensley, M. Green, K. Levitt, и R. Shostak. ICSE, стр. 458-469. IEEE Computer Society, (1976)Trends in PC Database Technology.R. Shostak. IFIP Congress (3), том A-14 из IFIP Transactions, стр. 64-67. North-Holland, (1992)On the SUP-INF Method for Proving Presburger Formulas.R. Shostak. J. ACM, 24 (4): 529-543 (1977)Simplifying Interpreted Formulas.D. Loveland, и R. Shostak. CADE, том 87 из Lecture Notes in Computer Science, стр. 97-109. Springer, (1980)Refutation Graphs.R. Shostak. Artif. Intell., 7 (1): 51-64 (1976)Corrigendum: Artificial Intelligence 7(3): 283 (1976).