@收款{zbMATH07218745,作者={Selivanov,Victor},标题={Well-拟序与层次理论},BookTitle={计算、逻辑、语言和推理中的良好准序。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于良好准序的小符号:从理论到Jahrestagung der中的应用2015年9月21日至25日,德国汉堡,Deutschen Mathematiker-Vereinigung(DMV)Dagstuhl 16031计算机中井准阶研讨会《科学》,德国达格斯图尔宫,2016年1月17日至22日},国际标准图书编号={978-3-030-30228-3;978-3-0.30-30231-3;978-10-30229-0},页码={271--319},年份={2020年},出版商={Cham:S普林格},语言={英语},DOI={10.1007/978-3-030-30229-0_10},关键词={03E15,03E02,03D55,06A06},zbMATH={7218745},Zbl={1496.03189}}