Extending a brainiac prover to lambda-free higher-order logic

التفاصيل البيبلوغرافية
العنوان:	Extending a brainiac prover to lambda-free higher-order logic
المؤلفون:	Vukmirović, Petar^{Aff1, IDs10009021006397_cor1}, Blanchette, Jasmin^{Aff1, Aff2, Aff3}, Cruanes, Simon, Schulz, Stephan
المصدر:	International Journal on Software Tools for Technology Transfer. 24(1):67-87
قاعدة البيانات:	Springer Nature Journals

كن أول من يترك تعليقا!