Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Parameter-free induction, the Matiyasevič theorem and BΣ1;Adamowicz,1987
2. Mathematical induction in Otter-lambda;Beeson;J. Autom. Reason.,2006
3. Induction rules, reflection principles, and provably recursive functions;Beklemishev;Ann. Pure Appl. Log.,1997
4. Parameter free induction and reflection;Beklemishev,1997
5. Parameter free induction and provably total computable functions;Beklemishev;Theor. Comput. Sci.,1999
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Quantifier-free induction for lists;Archive for Mathematical Logic;2024-04-20