Author:
Gerhardy Philipp,Kohlenbach Ulrich
Publisher
Springer Science and Business Media LLC
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Herbrand complexity and the epsilon calculus with equality;Archive for Mathematical Logic;2023-07-29
2. On Extracting Variable Herbrand Disjunctions;Studia Logica;2022-04-20
3. Herbrand's theorem as higher order recursion;Annals of Pure and Applied Logic;2020-06
4. Fast Cut-Elimination using Proof Terms: An Empirical Study;Electronic Proceedings in Theoretical Computer Science;2018-10-19
5. Validating Back-links of FOLID Cyclic Pre-proofs;Electronic Proceedings in Theoretical Computer Science;2018-10-19