From post

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

System Feature Description: Importing Refutations into the GAPT Framework.

C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, и B. Paleo. PxTP, том 878 из CEUR Workshop Proceedings, стр. 51-57. CEUR-WS.org, (2012)

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.

Cut-Elimination and Proof Schemata.C. Dunchev, A. Leitsch, M. Rukhaia, и D. Weller. TbiLLC, том 8984 из Lecture Notes in Computer Science, стр. 117-136. Springer, (2013)System Feature Description: Importing Refutations into the GAPT Framework.C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, и B. Paleo. PxTP, том 878 из CEUR Workshop Proceedings, стр. 51-57. CEUR-WS.org, (2012)ELPI: Fast, Embeddable, λProlog Interpreter.C. Dunchev, F. Guidi, C. Coen, и E. Tassi. LPAR, том 9450 из Lecture Notes in Computer Science, стр. 460-468. Springer, (2015)