帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) Zbl 1484.68100号 理论计算。系统。 64,第3期,467-507(2020年).MSC公司:60年第68季度 03B44型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,《理论计算》。系统。64,第3号,467--507(2020;Zbl 1484.68100) 全文: 内政部 链接
帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) Zbl 1484.68101号 Niedermeier,Rolf(ed.)等人,第35届计算机科学理论方面研讨会,STACS 2018,法国卡昂,2018年2月28日至3月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第34条,第15页(2018年)。MSC公司:60年第68季度 03B44型 65年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,LIPIcs——莱布尼茨国际程序。通知。96,第34条,第15页(2018;Zbl 1484.68101) 全文: 内政部 arXiv公司