From post

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

Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.

R. Berghammer, B. Elbl, и U. Schmerl. Theor. Comput. Sci., 146 (1&2): 185-197 (1995)

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.

Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.R. Berghammer, B. Elbl, и U. Schmerl. Theor. Comput. Sci., 146 (1&2): 185-197 (1995)Justifying control for logic programs.B. Elbl. Workshop on Domains, том 35 из Electronic Notes in Theoretical Computer Science, стр. 84. Elsevier, (1998)Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics.B. Elbl. Advances in Modal Logic, стр. 257-276. College Publications, (2018)