亚历山德罗·阿塔尔;让·克里斯托夫·荣格;安德烈亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特 没有贝丝和克雷格的生活:描述和模态逻辑中的定义和插入词,包括名词和角色。 (英语) 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 07760993号 ACM事务处理。计算。日志。 24,第4号,第32号论文,第26页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,ACM Trans。计算。日志。24,第4号,第32号论文,第26页(2023;Zbl 07760993) 全文: 内政部 arXiv公司
西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔;希亚拉·纳索 具有长度和maxdiff的数组的插值结果。 (英语) Zbl 07760989号 ACM事务处理。计算。日志。 24,第4号,第28号论文,33页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,ACM Trans。计算。日志。24,第4号,第28号论文,33页(2023;Zbl 07760989) 全文: 内政部
罗伯托·塞巴斯蒂亚尼;西尔维娅·托马西 具有线性合理成本的优化模理论。 (英语) Zbl 1354.68233号 ACM事务处理。计算。日志。 16,第2号,第12条,43页(2015年).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{S.Tomasi},ACM翻译。计算。日志。16,第2号,第12条,43页(2015年;Zbl 1354.68233) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;迈克尔·扎克哈里亚舍夫 带有描述逻辑的时间概念数据建模食谱。 (英语) 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公司 链接
张,兰;乌尔里希·赫斯塔特;克莱尔·狄克逊 分支时间时序逻辑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) 全文: 内政部
罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 等式插值理论组合中的无量词插值。 (英语) Zbl 1287.03068号 ACM事务处理。计算。日志。 第15号第1条第5条第34页(2014年).MSC公司:03B70号 03C40号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,ACM Trans。计算。日志。15,第1号,第5条,第34页(2014年;Zbl 1287.03068) 全文: 内政部