亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 二维时间本体论中介查询的一阶可重写性和复杂性。 (英语) Zbl 07639820号 J.阿蒂夫。智力。研究(JAIR) 75, 1223-1291 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,J.Artif。智力。研究(JAIR)75,1223--1291(2022;Zbl 07639820) 全文: 内政部 arXiv公司
克里斯托弗·汉普森 关于误差递增计数器的终止和结构终止问题。 (英语) Zbl 1480.68008号 J.计算。系统。科学。 120, 149-161 (2021). 审核人:Frank Stephan(新加坡) MSC公司:04年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.汉普森},J.Compute。系统。科学。120149-161(2021;Zbl 1480.68008) 全文: 内政部
克里斯托弗·汉普森;南科他州基科特。;A.库鲁茨。 具有对角线和故障计数器的模态产品逻辑的决策问题。 (英语) Zbl 1397.03023号 螺柱日志。 104,编号3,455-486(2016). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03B45号 03B25号 03B10号机组 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Hampson}等人,研究日志。104、3号、455--486(2016;Zbl 1397.03023) 全文: 内政部 arXiv公司