دورية أكاديمية
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq: Extended Version
| العنوان: | Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq: Extended Version |
|---|---|
| المؤلفون: | Kirst, DominikAff1, IDs1081702209647x_cor1, Hermes, Marc |
| المصدر: | Journal of Automated Reasoning. 67(1) |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 01687433 15730670 |
|---|---|
| DOI: | 10.1007/s10817-022-09647-x |