@第{zbMATH06019358条，作者={克里斯蒂安森（Kristiansen）、拉尔斯（Lars）和施拉盖·普赫塔（Schlage-Puchta）、詹·克里斯托普（Jan-Chritoph）和魏尔曼（Weiermann）、安德烈亚斯（Andreas}），标题={流线型次递归度理论}，FJournal={纯逻辑与应用逻辑年鉴}，Journal＝{Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={163}，数字＝｛6｝，页码={698--716}，年份={2012}，语言={英语}，DOI={10.1016/j.apal.2011.11.004}，关键词={03D20,03D30,03F30}，zbMATH={6019358}，Zbl={1245.03063}}