@诉讼{parys:LIPIcs.STACS.2018.53,author={Parys,Pawel},title={{递归方案和WMSO+U逻辑}},booktitle={第35届计算机科学理论方面研讨会(STACS 2018)},页数={53:1--53:16},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-062-0},ISSN={1868-8969},年份={2018年},体积={96},编辑={尼德迈尔、罗尔夫和瓦尔{e} e(电子),布里吉特},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2018.53},URN={URN:nbn:de:0030-drops-85122},doi={10.4230/LIPIcs.STACS.2018.53},annote={关键词:高阶递归方案,交集类型,WMSO+U逻辑,有界}}