阿尔诺卡斯提格茨;约瑟夫·彼得斯(Joseph G.Peters)。;杰森·斯科特斯 时间派系承认稀少的扳手。 (英语) Zbl 1517.68280号 J.计算。系统。科学。 121, 1-17 (2021).理学硕士:68兰特 05C69号 PDF格式BibTeX公司 XML格式引用 \textit{A.Casteigts}等人,《计算杂志》。系统。科学。121,1-17(2021;Zbl 1517.68280) 全文: 内政部 arXiv公司 链接
阿尔诺卡斯提格茨;约瑟夫·彼得斯(Joseph G.Peters)。;杰森·斯科特斯 时间派系接纳稀疏的扳手。 (英语) Zbl 1517.68281号 Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第134条,第14页(2019年)。理学硕士:68兰特 05C69号 PDF格式BibTeX公司 XML格式引用 \textit{A.Casteigts}等人,LIPIcs——莱布尼茨国际程序。通知。132,第134条,第14页(2019年;Zbl 1517.68281) 全文: 内政部