艾曼纽·菲利奥特;莎拉·温特 从无限单词上的有理规范合成可计算函数。 (英语) Zbl 07805943号 发现的国际期刊。计算。科学。 35,编号1-2,179-214(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}和\textit{S.Winter},国际期刊发现。计算。科学。35,编号1--2,179-214(2024;Zbl 07805943) 全文: 内政部
沙乌尔·阿尔马戈;丹尼斯·库珀伯格;奥尔纳·库普弗曼 感知作为一种复杂性度量。 (英语) Zbl 1427.68136号 发现的国际期刊。计算。科学。 30,编号6-7,831-873(2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,国际期刊发现。计算。科学。30,编号6--7,831--873(2019;Zbl 1427.68136) 全文: 内政部
奥利维尔·伯内兹;库尔甘斯基、奥列克西;伊戈尔·波塔波夫 一维分段仿射映射的可达性问题。 (英语) Zbl 1394.37009号 发现的国际期刊。计算。科学。 29,第4期,529-549(2018).MSC公司:第37页第45页 03B25号 03天35分 2005年第68季度 11E95型 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}等人,国际期刊发现。计算。科学。29,第4号,529--549(2018;Zbl 1394.37009) 全文: 内政部
阿莱西奥·洛穆西奥;本·斯特鲁洛;奈杰尔·沃克;吴鹏 假设根据当地规范进行推理。 (英语) Zbl 1286.68319号 发现的国际期刊。计算。科学。 24,编号419-444(2013).MSC公司:60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,《国际法学杂志》发现。计算。科学。24,第4号,419--444(2013;Zbl 1286.68319) 全文: 内政部
李国强;蔡晓娟;袁,Shoji 使用互斥组件对实时系统进行建模和分析。 (英语) Zbl 1255.68101号 发现的国际期刊。计算。科学。 23,第4号,831-852(2012).MSC公司:68问题85 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}等人,国际期刊发现。计算。科学。23,第4号,831--852(2012;Zbl 1255.68101) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔赞诺;艾哈迈德·雷津 使用图形约束自动验证基于目录的一致性协议。 (英语) Zbl 1216.68048号 发现的国际期刊。计算。科学。 22,第4期,761-782(2011).MSC公司:68个M12 68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Int.J.Found。计算。科学。22,第4号,761--782(2011;Zbl 1216.68048) 全文: 内政部
回忆,劳拉;谢尔盖·哈达德;曼纽尔·席尔瓦 连续Petri网:表达能力和可判定性问题。 (英语) Zbl 1200.68164号 发现的国际期刊。计算。科学。 21,第2期,235-256(2010).MSC公司:68问题85 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Recalde}等人,国际期刊发现。计算。科学。21,第2号,235--256(2010;Zbl 1200.68164) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔赞诺;本·亨达,努梅内;艾哈迈德·雷津 单调抽象:关于参数化系统的有效验证。 (英语) Zbl 1186.68272号 发现的国际期刊。计算。科学。 20,第5号,779-801(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。20,第5号,779--801(2009;Zbl 1186.68272) 全文: 内政部
蔡义权;王,弯腰 直觉闭合正则属性的自动组合推理。 (英语) Zbl 1191.68403号 发现的国际期刊。计算。科学。 20,第4期,747-762(2009).MSC公司:65年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{Y.-K.Tsay}和\textit{B.-Y.Wang},Int.J.Found。计算。科学。20,第4号,747--762(2009;Zbl 1191.68403) 全文: 内政部
奥列克西·库甘斯基;伊戈尔·波塔波夫;费尔南多·桑乔·卡帕里尼 低维迭代映射中的可达性问题。 (英语) 兹比尔1155.68025 发现的国际期刊。计算。科学。 19,第4期,935-951(2008).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kurgansky}等人,国际法学研究所。计算。科学。19,第4号,935--951(2008;Zbl 1155.68025) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;约翰娜·霍格伯格;丽莎·卡蒂 树自动机的互模拟最小化。 (英语) Zbl 1143.68428号 发现的国际期刊。计算。科学。 18,第4号,699-713(2007).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。18,第4号,699--713(2007;Zbl 1143.68428) 全文: 内政部
伊塔·巴拉班;阿米尔·普努利;Lenore D.扎克。 模块化排名抽象。 (英语) Zbl 1109.68062号 发现的国际期刊。计算。科学。 18,第1号,5-44(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,国际法学研究所。计算。科学。18,第1号,第5--44号(2007;Zbl 1109.68062) 全文: 内政部
多龙·贝利德;曲洪阳 实施并发时间行为。 (英语) Zbl 1098.68080号 发现的国际期刊。计算。科学。 17,第4期,743-761(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{H.Qu},国际发现杂志。计算。科学。17,第4号,743--761(2006;Zbl 1098.68080) 全文: 内政部
den Hartog,J.I。;德文克,E.P。 使用类Hoare逻辑验证概率程序。 (英语) Zbl 1066.68081号 发现的国际期刊。计算。科学。 13,第3期,315-340(2002).MSC公司:60年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{J.I.den Hartog}和\textit{E.P.de Vink},Int.J.Found。计算。科学。13,第3号,315--340(2002;Zbl 1066.68081) 全文: 内政部