Author:
Brauner Paul,Houtmann Clement,Kirchner Claude
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti;Electronic Proceedings in Theoretical Computer Science;2024-07-08
2. Linking Focusing and Resolution with Selection;ACM Transactions on Computational Logic;2020-05-22
3. First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice;Journal of Automated Reasoning;2019-09-23
4. Equality and fixpoints in the calculus of structures;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo;Logic for Programming, Artificial Intelligence, and Reasoning;2013