Miranda Perea、Favio Ezequiel;德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德;利纳雷斯·阿雷瓦洛(Linares Arévalo)、皮拉尔·塞莱恩(Pilar Selene) 构造模态逻辑S4的对偶连续演算。 (英语) Zbl 07676413号 数学。结构。计算。科学。 32,第9期,1205-1233(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{F.E.Miranda-Perea}等人,数学。结构。计算。科学。32,编号9,1205--1233(2022;Zbl 07676413) 全文: 内政部
Bidlingmaier,Martin E。;弗洛里安·费索;溅出物,Bas 概率规划同伦型理论中的合成拓扑。 (英语) Zbl 1517.68072号 数学。结构。计算。科学。 31,第10号,1301-1329(2021).MSC公司:68甲19 03B38型 03层60 2012年2月6日 18对25 18个C20 18 C50 18纳米45 第28页,共15页 55单位35 68纳米30 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Bidlingmaier}等人,《数学》。结构。计算。科学。31,第10号,1301--1329(2021;Zbl 1517.68072) 全文: 内政部 arXiv公司
汤姆·德容 单价类型理论中PCF的Scott模型。 (英语) Zbl 1517.68069号 数学。结构。计算。科学。 31,第10号,1270-1300(2021).MSC公司:68甲18 03B38型 06立方厘米35 18对25 18 C50 18号45 68纳米30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.de Jong},数学。结构。计算。科学。31,第10号,1270--1300(2021;Zbl 1517.68069) 全文: 内政部 arXiv公司
尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 双振参数中泛型的泛性质。 (英语) Zbl 1422.68032号 数学。结构。计算。科学。 29,第6号,810-827(2019).MSC公司:68纳米30 18A40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人,数学。结构。计算。科学。29,第6号,810--827(2019;Zbl 1422.68032) 全文: 内政部
马蒂厄·雷纳德;伊利耶斯·法尔科内;安托万·罗莱;蒂埃里·杰伦;埃尔文·马尔坎德 具有不可控事件的(定时)属性的最佳实施。 (英语) Zbl 1407.68299号 数学。结构。计算。科学。 29,第1号,169-214(2019).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人,数学。结构。计算。科学。29,第1号,169--214(2019;Zbl 1407.68299) 全文: 内政部
安德烈亚斯·雷乌;赫尔穆特·塞德尔 (mathcal H_1)-子句的路径、树同态和不定性。 (英语) Zbl 1401.68050号 数学。结构。计算。科学。 1786-1846(2018)第10号第28页.MSC公司:68纳米30 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Reuß}和\textit{H.Seidl},数学。结构。计算。科学。28,第10号,1786-1846(2018;Zbl 1401.68050) 全文: 内政部
乔治·斯特鲁斯 Hoare半群。 (英语) Zbl 1390.68440号 数学。结构。计算。科学。 28,第6号,775-799(2018).MSC公司:60年第68季度 03B70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},数学。结构。计算。科学。28,第6号,775--799(2018;Zbl 1390.68440) 全文: 内政部
马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉,法拉利;罗伯托·祖尼诺 模型检查使用策略。 (英语) Zbl 1361.68133号 数学。结构。计算。科学。 25,编号3,710-763(2015).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,《数学》。结构。计算。科学。25,第3号,710--763(2015;Zbl 1361.68133) 全文: 内政部
泰斯尼姆·阿卜杜拉提夫;雅克·康巴兹;约瑟夫·西法基斯 严格实施实时系统——从理论到应用。 (英语) 兹比尔1272.68097 数学。结构。计算。科学。 23,第4期,882-914(2013).MSC公司:68纳米30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Abdellatif}等人,《数学》。结构。计算。科学。23,第4号,882--914(2013;Zbl 1272.68097) 全文: 内政部
汤姆·巴比亚克;Řehák,沃伊特奇;斯特雷切克,简 几乎线性Büchi自动机。 (英语) Zbl 1254.68141号 数学。结构。计算。科学。 22,第2期,203-235(2012). 审核人:维克托·舒潘(法国) MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Babiak}等人,《数学》。结构。计算。科学。22,第2号,203--235(2012;Zbl 1254.68141) 全文: 内政部
曼努埃尔·Fähndrich;雅各布·雷霍夫 基于类型的流分析和无上下文语言可达性。 (英语) Zbl 1156.68015号 数学。结构。计算。科学。 18,第5号,823-894(2008).MSC公司:68纳米30 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fähndrich}和\textit{J.Rehof},数学。结构。计算。科学。18,第5号,823--894(2008;Zbl 1156.68015) 全文: 内政部
约翰·博格斯特罗姆;乌韦·内斯特曼 关于spi演算的互模拟。 (英语) Zbl 1077.18004号 数学。结构。计算。科学。 15,第3期,487-552(2005). 审核人:Lisbeth Fajstrup(奥尔堡) MSC公司:18 C50 68问题85 60年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}和\textit{U.Nestmann},数学。结构。计算。科学。15,第3号,487--552(2005;Zbl 1077.18004) 全文: 内政部
费利克斯·科尼利厄斯;迈克尔·巴尔达穆斯;哈特穆特·埃里格;费尔南多·奥雷贾斯 抽象和行为模块规范。 (英语) Zbl 0923.68089号 数学。结构。计算。科学。 9,第1号,21-62(1999年).MSC公司:68问题65 60年第68季度 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Cornelius}等人,《数学》。结构。计算。科学。9,第1号,21--62(1999;Zbl 0923.68089) 全文: 内政部