阿兰·芬克尔;艾蒂安·洛兹 通信有限状态机的同步性是不可判定的。 (英语) Zbl 07789005号 日志。方法计算。科学。 19,第4号,第33号论文,28页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{E.Lozes},Log。方法计算。科学。19,第4号,第33号论文,28页(2023;Zbl 07789005) 全文: 内政部 arXiv公司
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托 形式舞蹈语言的理论。 (英语) Zbl 07731937号 日志。方法计算。科学。 19,第3号,第9号论文,36页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,日志。方法计算。科学。19,第3号,第9号论文,36页(2023;Zbl 07731937) 全文: 内政部 arXiv公司
洛科·德尼古拉;埃尔南·梅尔格拉蒂 多方测试预订单。 (英语) Zbl 07639918号 日志。方法计算。科学。 19,第1期,第1号论文,31页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{H.Melgratti},日志。方法计算。科学。19,第1期,第1号论文,第31页(2023年;Zbl 07639918) 全文: 内政部 arXiv公司
Anthony W·林。;鲁帕克·马朱姆达尔 具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 (英语) Zbl 1517.68319号 日志。方法计算。科学。 17,第4期,第4号论文,20页(2021年).MSC公司:68兰特 03B25号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Lin}和\textit{R.Majumdar},日志。方法计算。科学。17,第4期,第4号论文,20页(2021年;Zbl 1517.68319) 全文: arXiv公司 链接
米拉·达拉·普雷达;毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;伊万·拉内斯;雅各布·毛罗 动态编舞:理论与实施。 (英语) Zbl 1398.68088号 日志。方法计算。科学。 13,第2号,第1号论文,57页(2017年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Preda}等人,日志。方法计算。科学。13,第2号,第1号论文,57页(2017;Zbl 1398.68088) 全文: 内政部 arXiv公司