马库斯拿铁 重新审视分支时间逻辑和公平。 (英语) Zbl 1498.68163号 数学。结构。计算。科学。 31,第9期,1135-1144(2021). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:60年第68季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Latte},数学。结构。计算。科学。31,编号9,1135--1144(2021;Zbl 1498.68163) 全文: 内政部
弗朗西斯科·达格尼诺;朱塞佩·罗索里尼 学说、模式和共同语言。 (英语) Zbl 1498.18025号 数学。结构。计算。科学。 31,第7号,769-798(2021).MSC公司:18米45 03G30型 18立方厘米 18对25 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino}和\textit{G.Rosolini},数学。结构。计算。科学。31,第7号,769--798(2021;Zbl 1498.18025) 全文: 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68278号 数学。结构。计算。科学。 29,第1期,3-37页(2019年).MSC公司:60年第68季度 03B44号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《数学》。结构。计算。科学。29,第1号,第3--37号(2019年;Zbl 1407.68278) 全文: 内政部
保罗·波托尼;丹尼尔·戈拉;斯特凡诺·卡桑吉安;安娜·拉布拉 对过程中的模式/时间Heyting逻辑和非确定性的理论方法。 (英语) Zbl 1386.68107号 数学。结构。计算。科学。 28,第4期,508-532(2018).MSC公司:68问题85 03B44号 03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bottoni}等人,《数学》。结构。计算。科学。28,第4号,508--532(2018;Zbl 1386.68107) 全文: 内政部
诺里希罗·卡米德 LTL及其变体的嵌入定理。 (英语) Zbl 1362.03019号 数学。结构。计算。科学。 25,第1期,83-134(2015).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。结构。计算。科学。25,编号1,83--134(2015;Zbl 1362.03019) 全文: 内政部
汤姆·巴比亚克;艾哈克,沃伊特;斯特雷切克,简 几乎线性Büchi自动机。 (英语) 兹比尔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) 全文: 内政部
杨晓晓;段振华;马,钱 投影时序逻辑程序的公理语义。 (英语) Zbl 1213.68186号 数学。结构。计算。科学。 20,第5期,865-914(2010).MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,数学。结构。计算。科学。20,第5号,865--914(2010;Zbl 1213.68186) 全文: 内政部
马修·科林森;大卫·皮姆 基于资源的系统建模的代数和逻辑。 (英语) Zbl 1185.68441号 数学。结构。计算。科学。 19,第5期,959-1027(2009). 审核人:Jörg Desel(艾希斯特) MSC公司:68问题85 03B44号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}和\textit{D.Pym},数学。结构。计算。科学。19,第5号,959--1027(2009;Zbl 1185.68441) 全文: 内政部
田聪;段振华 带有星形的命题投影时序逻辑的复杂性。 (英语) Zbl 1161.03008号 数学。结构。计算。科学。 19,第1期,73-100(2009).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},数学。结构。计算。科学。19,第1号,73--100(2009;Zbl 1161.03008) 全文: 内政部
巴特·雅各布斯 通过Galois代数的余代数的时间逻辑。 (英语) 2017年3月30日 数学。结构。计算。科学。 12,第6期,875-903(2002). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B44号 03G30型 60年第68季度 03B70号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},数学。结构。计算。科学。12,第6号,875--903(2002;Zbl 1030.03017) 全文: 内政部
冯·卡格尔(von Karger),伯加德(Burghard) 时间代数。 (英语) Zbl 0917.03011号 数学。结构。计算。科学。 8,第3号,277-320(1998). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B45号 03B70号 2015年1月6日 06B23号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.von Karger},数学。结构。计算。科学。8,第3号,277--320(1998;Zbl 0917.03011) 全文: 内政部
费亚迪罗,J.L。;J.F.科斯塔。 镜子,我手中的镜子:过程行为的规范和模型之间的二重性。 (英语) Zbl 0857.68076号 数学。结构。计算。科学。 6,第4期,353-373(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和textit{J.F.Costa},数学。结构。计算。科学。6,第4号,353--373(1996;Zbl 0857.68076) 全文: 内政部