Publisher
American Mathematical Society
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Power of Constructive Proofs;Mathematics by Experiment;2008-10-27
2. A Combinatorial Approach to Complexity Theory via Ordinal Hierarchies;Combinatorics, Probability and Computing;1994-06
3. Working Foundations - ’ 91;Bridging the Gap: Philosophy, Mathematics, and Physics;1993
4. Analyzing Nash-Williams' partition theorem by means of ordinal types;Discrete Mathematics;1991-12
5. Effectiveness and provability;Rendiconti del Seminario Matematico e Fisico di Milano;1991-12