دورية أكاديمية
Extending a brainiac prover to lambda-free higher-order logic
العنوان: | Extending a brainiac prover to lambda-free higher-order logic |
---|---|
المؤلفون: | Vukmirović, PetarAff1, IDs10009021006397_cor1, Blanchette, JasminAff1, Aff2, Aff3, Cruanes, Simon, Schulz, Stephan |
المصدر: | International Journal on Software Tools for Technology Transfer. 24(1):67-87 |
قاعدة البيانات: | Springer Nature Journals |
تدمد: | 14332779 14332787 |
---|---|
DOI: | 10.1007/s10009-021-00639-7 |