弗朗西斯科·贝拉迪内利;斯特凡·德姆里 有限资源的战略推理:对可驾驭性的追求。 (英语) Zbl 1520.68183号 Artif公司。智力。 300,文章ID 103557,35 p.(2021).MSC公司:68T27型 03B44号 65年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{S.Demri},Artif。智力。300,文章ID 103557,35 p.(2021;Zbl 1520.68183) 全文: 内政部 哈尔
菲利普·马佐维耶基;米查尔·皮里普祖克 有界分支VASS的可达性。 (英语) Zbl 07649936号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第28条,第13页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Mazowiecki}和\textit{M.Pilipczuk},LIPIcs——莱布尼茨国际程序。通知。140,第28条,第13页(2019年;Zbl 07649936) 全文: 内政部 arXiv公司