亚历山德罗·阿塔尔;让·克里斯托夫·荣格;安德里亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特 《没有贝丝和克雷格的生活:描述和模态逻辑中的定义和解释》,包含名词和角色。 (英语) Zbl 07760995号 ACM事务处理。计算。日志。 24,第4号,第34号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。24,第4号,第34号论文,51页(2023;Zbl 07760995) 全文: 内政部 arXiv公司 OA许可证
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 (英语) Zbl 07713585号 ACM事务处理。计算。日志。 24,第3号,第24号论文,32页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,ACM Trans。计算。日志。24,第3号,第24号论文,32页(2023;Zbl 07713585) 全文: 内政部
雅各布·托兰;弗洛里安·沃兹 图微分的变量数和图同构公式的解析。 (英语) Zbl 07713584号 ACM事务处理。计算。日志。 24,第3号,第23号论文,第25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Torán}和\textit{F.Wörz},ACM翻译。计算。日志。24,第3号,第23号论文,第25页(2023;Zbl 07713584) 全文: 内政部
Jan A.Bergstra。;约翰·V·塔克。 求有理数算术的等式。 (英语) Zbl 07713583号 ACM事务处理。计算。日志。 24,第3号,第22号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},ACM Trans。计算。日志。24,第3号,第22号论文,28页(2023;Zbl 07713583) 全文: 内政部
帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利 关于战略行为的质量和模糊性的推理。 (英语) Zbl 07713582号 ACM事务处理。计算。日志。 24,第3号,第21号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,ACM Trans。计算。日志。24,第3号,第21号论文,38页(2023;Zbl 07713582) 全文: 内政部 arXiv公司
Tsubasa Takagi 量子逻辑线性时间扩展及其动态方面的语义分析。 (英语) Zbl 07713580号 ACM事务处理。计算。日志。 24,第3号,第19号论文,21页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi},ACM翻译。计算。日志。24,第3号,第19号论文,第21页(2023;Zbl 07713580) 全文: 内政部
詹姆斯·巴克斯特;安娜·卡瓦尔坎蒂;马西耶·加兹达;Robert M.Hierons。 使用CSP模型进行测试:时间、输入和输出。 (英语) Zbl 07672676号 ACM事务处理。计算。日志。 24,第2号,第17号论文,40页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}等人,ACM Trans。计算。日志。24,第2号,第17号文件,第40页(2023;Zbl 07672676) 全文: 内政部 链接
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 异步多方会话的精确子类型。 (英语) Zbl 07672673号 ACM事务处理。计算。日志。 24,第2号,第14号论文,73页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,ACM Trans。计算。日志。24,第2号,第14号论文,73页(2023;Zbl 07672673) 全文: 内政部 arXiv公司
西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 统一操作弱内存验证:公理方法。 (英语) Zbl 1508.68216号 ACM事务处理。计算。日志。 23,第4条,第27条,第39页(2022年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人,《美国医学杂志》。计算。日志。23,第4号,第27条,第39页(2022年;Zbl 1508.68216) 全文: 内政部
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯鲁提克 获得并行组合的有限公理化是否需要两个二进制运算符? (英语) Zbl 1508.68239号 ACM事务处理。计算。日志。 23,第4条,第22条,第56页(2022年).MSC公司:68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,ACM Trans。计算。日志。23,第4号,第22条,56页(2022年;Zbl 1508.68239) 全文: 内政部 arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 时间间隔与时间点逻辑模型检查。表现力比较。 (英语) Zbl 1407.68283号 ACM事务处理。计算。日志。 第20条第1款第4条第31页(2019年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,ACM Trans。计算。日志。20,第1号,第4条,第31页(2019年;Zbl 1407.68283) 全文: 内政部
卡斯滕·福斯;辛西娅·科普;直纪西田 通过约束重写归纳验证过程程序。 (英语) Zbl 1367.68248号 ACM事务处理。计算。日志。 18,第2号,第14条,50页(2017年).MSC公司:68吨15 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人,ACM Trans。计算。日志。18,第2号,第14条,50页(2017年;Zbl 1367.68248) 全文: 内政部 arXiv公司 链接
戴维·桑吉奥吉 方程、收缩和唯一解。 (英语) Zbl 1367.68212号 ACM事务处理。计算。日志。 18,第1号,第4条,30页(2017年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi},ACM翻译。计算。日志。18,第1号,第4条,30页(2017年;Zbl 1367.68212) 全文: 内政部 哈尔
小岛贤介;Atsushi Igarashi GPU内核的Hoare逻辑。 (英语) Zbl 1367.68066号 ACM事务处理。计算。日志。 18,第1号,第3条,43页(2017年).MSC公司:68号30 03B70号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}和\textit{A.Igarashi},ACM翻译。计算。日志。18,第1号,第3条,43页(2017年;Zbl 1367.68066) 全文: 内政部
伊莎贝拉·马斯特罗埃尼;达米亚诺·扎纳尔迪尼 抽象程序切片:一种基于抽象解释的程序切片方法。 (英语) Zbl 1367.68070号 ACM事务处理。计算。日志。 18,第1号,第7条,58 p.(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{D.Zanardini},ACM Trans。计算。日志。18,第1号,第7条,58页(2017年;Zbl 1367.68070) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;安东尼奥·弗洛雷斯·蒙托亚;萨米尔·根奈姆;马丁·马丁,恩里克 May-happen基于参与者的并发并行分析。 (英语) 兹比尔1367.68056 ACM事务处理。计算。日志。 17,第2号,第11条,39页(2016年).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,ACM Trans。计算。日志。17,第2号,第11条,39页(2016年;Zbl 1367.68056) 全文: 内政部
塞里托、塞雷内拉;艾米莉·大卫;瓦伦丁·戈兰科 交替时间时序逻辑(mathrm{ATL}^+)中构造可满足性测试和模型综合的最优表方法。 (英语) Zbl 1367.68246号 ACM事务处理。计算。日志。 17,第1号,第4条,第34页(2015年).MSC公司:68吨15 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}等人,《美国医学杂志》。计算。日志。17,第1号,第4条,第34页(2015;Zbl 1367.68246) 全文: 内政部 arXiv公司
格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 并发数据结构线性化能力的完善证明技术。 (英语) Zbl 1354.68066号 ACM事务处理。计算。日志。 第15号第4条第31条第37页(2014年).MSC公司:68第05页 60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人,《美国医学杂志》。计算。日志。第15条第4款第31条第37页(2014年;Zbl 1354.68066) 全文: 内政部 链接
乌迪·博克;克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼 具有累计值的时间规格。 (英语) Zbl 1354.68169号 ACM事务处理。计算。日志。 第15号第4条第27条第25页(2014年).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人,ACM Trans。计算。日志。15,第4号,第27条,第25页(2014;Zbl 1354.68169) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;迈克尔·扎克哈里亚舍夫 带有描述逻辑的时间概念数据建模食谱。 (英语) Zbl 1354.68245号 ACM事务处理。计算。日志。 15,第3号,第25条,第50页(2014).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。15,第3号,第25条,50页(2014;Zbl 1354.68245) 全文: 内政部 arXiv公司 链接
冯、袁;邓玉欣;英明生 量子过程的符号互模拟。 (英语) Zbl 1291.68237号 ACM事务处理。计算。日志。 第15号第2条第14条第32页(2014年).MSC公司:68问题55 68问题85 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,ACM Trans。计算。日志。15,第2号,第14条,第32页(2014;Zbl 1291.68237) 全文: 内政部 arXiv公司
张,兰;乌尔里希Hustadt;克莱尔·迪克森 分支时间时序逻辑CTL的分解演算。 (英语) Zbl 1287.03033号 ACM事务处理。计算。日志。 第15号第1条第10条第38页(2014年).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,ACM翻译。计算。日志。15,第1号,第10条,第38页(2014;Zbl 1287.03033) 全文: 内政部