Wałga,Przemys aw Andrzej;米夏·扎维兹基 以主题为导向的空间逻辑。 (英语) 兹比尔1518.68368 Inf.计算。 280,文章ID 104643,15 p.(2021).MSC公司:68T27型 03B45号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga}和textit{M.Zawidzki},Inf.Compute。280,文章ID 104643,15 p.(2021;Zbl 1518.68368) 全文: 内政部 链接
阿卡什侯赛因;弗朗索瓦·拉鲁西尼 \(mathsf{QCTL}\)使用\(mathsf{QBF}\)解算器进行模型检查。 (英语) Zbl 1518.68208号 Inf.计算。 280,文章ID 104642,19 p.(2021).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.侯赛因}和\textit{F.Laroussinie},Inf.Compute。280,文章ID 104642,19 p.(2021;Zbl 1518.68208) 全文: 内政部 arXiv公司
佩拉斯、昆廷;朱利安·布鲁内尔;戴维·谢穆伊尔 许多一阶线性时序逻辑的一个可判定且可表达的片段。 (英语) Zbl 1518.68214号 Inf.计算。 280,文章ID 104641,20 p.(2021).MSC公司:第68季度第60季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Peyras}等人,《信息计算》。280,文章ID 104641,20 p.(2021;Zbl 1518.68214) 全文: 内政部 哈尔
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 (英语) Zbl 1518.68204号 Inf.计算。 280,文章ID 104640,22 p.(2021).MSC公司:第68季度第60季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。280,文章ID 104640,第22页(2021;Zbl 1518.68204) 全文: 内政部 链接
何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
Michael Sioutis先生;阿纳斯塔西亚·帕帕里佐;汤米·詹胡宁 定性空间和时间推理的邻域单样式一致性。 (英语) Zbl 1518.68351号 Inf.计算。 280,文章ID 104638,17 p.(2021).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sioutis}等人,《信息计算》。280,文章ID 104638,17 p.(2021;Zbl 1518.68351) 全文: 内政部 链接
马蒂奥·扎瓦特里;卡洛·库比;罗密欧·里兹;卢卡·维甘诺 STN与决策的一致性检查:无缝管理时间和访问控制约束。 (英语) Zbl 1518.68353号 Inf.计算。 280,文章ID 104637,19 p.(2021).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《信息计算》。280,文章ID 104637,19 p.(2021;Zbl 1518.68353) 全文: 内政部
阿纳州阿尔梅达博尔赫斯;科内杰罗·罗德里格斯(Conejero Rodríguez)、胡安·何塞(Juan José);大卫·费尔南德斯·杜克;González Bedmar,米雷亚;Joost J.乔斯特恩。 开车还是不开车:对欧洲运输法规的逻辑和计算分析。 (英语) 兹比尔1522.03100 Inf.计算。 280,文章ID 104636,15 p.(2021).MSC公司:03B80号 03B44号 03B70号 2017年第68季度 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{A.de Almeida Borges}等人,《信息计算》。280,文章ID 104636,15 p.(2021;Zbl 1522.03100) 全文: 内政部
约翰·甘珀(编辑);苏菲·平奇纳特(编辑);圭多·西亚维科(编辑) 特刊——第26届时间表征与推理国际研讨会论文集。 (英语) 邮编1477.00063 Inf.计算。 280,文章ID 104635,2 p.(2021).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.Gamper}(编辑)等,《信息计算》。280,文章ID 104635,2页(2021;Zbl 1477.00063) 全文: 内政部