朱利安·莱切特 关于反可达博弈的复杂性。 (英文) Zbl 1357.68142号 芬达姆。通知。 143,编号3-4,415-436(2016).MSC公司:68问题85 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{J.Reichert},芬丹。通知。143,编号3--4,415--436(2016;Zbl 1357.68142) 全文: 内政部
皮普宁,Artturi;安蒂·瓦尔马里 构造最小覆盖集。 (英文) Zbl 1362.68222号 芬达姆。通知。 143,编号3-4,393-414(2016).MSC公司:68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Piipponen}和\textit{A.Valmari},Fundam。通知。143,编号3-4-393-414(2016;兹bl 1362.68222) 全文: 内政部
恩斯特·梅尔(Ernst W.Mayr)。;杰里米亚斯·韦曼 具有任意弧重数的广义无通信Petri网的完备性结果。 (英文) Zbl 1357.68140号 芬达姆。通知。 143,编号3-4,355-391(2016).MSC公司:68问题85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Mayr}和\textit{J.Weihmann},Fundam。通知。143,编号3--4,355--391(2016;Zbl 1357.68140) 全文: 内政部
理查德·迈尔;帕特里克·托茨克 分支时间模型检查间隙阶约束系统。 (英文) Zbl 1362.68176号 芬达姆。通知。 143,编号3-4,339-353(2016).MSC公司:60年第68季度 03B25号 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Mayr}和\textit{P.Totzke},Fundam。通知。143,编号3--4,339--353(2016;Zbl 1362.68176) 全文: 内政部 arXiv公司
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 将时间自动机和计数器自动机中的可达性问题联系起来。 (英文) Zbl 1357.68106号 芬达姆。通知。 143,编号3-4,317-338(2016).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Haase}等人,Fundam。通知。143,编号3--4,317--338(2016;Zbl 1357.68106) 全文: 内政部
乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索 通过广播向参数化网络添加数据寄存器。 (英文) Zbl 1357.68111号 芬达姆。通知。 143,编号3-4,287-316(2016).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Fundam。通知。143,编号3--4,287--316(2016;Zbl 1357.68111) 全文: 内政部
斯特凡诺·布罗基;保罗·马萨扎 一种新的具有光滑度假设的沙堆模型。 (英文) Zbl 1357.37021号 芬达姆。通知。 143,编号3-4,261-286(2016).MSC公司:37B15号机组 82B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Brocchi}和\textit{P.Massazza},Fundam。通知。143,编号3--4,261--286(2016;Zbl 1357.37021) 全文: 内政部
贝拉德、比阿特丽斯;谢尔盖·哈达德;亚历克桑德拉·约瓦诺维奇;莱姆,迪迪埃 带有辅助时钟和参数的中断定时自动机。 (英文) Zbl 1357.68100号 芬达姆。通知。 143,编号3-4,235-259(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Fundam。通知。143,编号3--4,235-259(2016;Zbl 1357.68100) 全文: 内政部 arXiv公司
阿克西,S。;洛依茨海露;克洛德·贾德;皮埃尔·阿莱·雷尼尔 保护扩大下时间Petri网的鲁棒性。 (英文) 兹比尔1357.68132 芬达姆。通知。 143,编号3-4,207-234(2016).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Fundam。通知。143,编号3--4,207--234(2016;Zbl 1357.68132) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉(编辑);斯特凡·德姆里(编辑);阿兰·芬克尔(编辑);杰罗姆·勒鲁(编辑);伊戈尔·波塔波夫(编辑) 前言。 (英文) Zbl 1360.00108号 芬达姆。通知。 143,第3-4号,i-ii(2016).MSC公司:00B25型 68-06 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}(编辑)等人,Fundam。通知。143,编号3--4,i-ii(2016;Zbl 1360.00108) 全文: 内政部