Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户，可以创建一个带有出版物列表的配置文件，标记并审阅您的相关工作，以及与您的合著者共享书目。
乌尔里希·伯杰。从Gentzen的超有限归纳证明中提取程序，直至ε：：0：：。在莱因哈德·卡勒,彼得·施罗德·海斯特,罗伯特·施塔克，编辑，计算机科学中的证明理论，国际研讨会，PTCS 2001，Dagstuhl Castle，Germany，2001年10月7日至12日，Proceedings。第2183卷，共页计算机科学课堂讲稿，页68-77、施普林格、，2001 [美国国防部]
缺少摘要。