海宁·博迪恩;马库斯·霍尔泽 关于有限自动机的活动状态数。 (英语) Zbl 1520.68052号 学报信息。 58,第4号,301-318(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer},《学报参考》58,第4期,301-318(2021年;Zbl 1520.68052) 全文: 内政部
托法、哈泽姆;马丁·齐默尔曼 线性时间时序逻辑计数模型的复杂性。 (英语) Zbl 1390.68441号 学报信息。 55,第3期,191-212(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Torfah}和\textit{M.Zimmermann},《学报》第55期,第3期,191--212(2018年;Zbl 1390.68441) 全文: 内政部 链接
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均收益和最短路径的Symblicit算法。 (英语) Zbl 1378.68122号 学报信息。 54,第6号,545-587(2017).MSC公司:87年第68季度 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
冯·埃森,基督徒;芭芭拉·乔布斯曼;大卫·帕克;拉胡尔·瓦什内亚 在概率环境中合成高效系统。 (英语) Zbl 1344.68171号 学报信息。 53,第4号,425-457(2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}等人,《信息学报》53,第4期,425--457(2016年;Zbl 1344.68171) 全文: 内政部 链接
维克多·舒潘 通过时间分辨率提取LTL的不满意核心。 (英语) Zbl 1338.68170号 学报信息。 53,第3期,247-299(2016).MSC公司:60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,No.3,247--299(2016;Zbl 1338.68170) 全文: 内政部 arXiv公司
费鲁西奥·劳伦·伊普利亚;康斯坦丁·埃纳 数据类型的抽象。 (英语) Zbl 1089.68065号 学报信息。 42,编号8-9,639-671(2006).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Ţiplea}和\textit{C.Enea},《学报》第42期,第8--9期,第639--671页(2006年;Zbl 1089.68065) 全文: 内政部