保罗·巴尔丹;托马索·帕多安 模型检查逻辑的真实并发性。 (英语) Zbl 1502.68179号 ACM事务处理。计算。日志。 21,第4号,第34条,49页(2020年).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{T.Padoan},ACM Trans。计算。日志。21,第4号,第34条,49页(2020年;Zbl 1502.68179) 全文: DOI程序
乔里·博曼森;汤米·詹胡宁;伊尔卡·尼梅尔 在答案集程序转换中应用可见的强等价性。 (英语) 兹比尔1502.68059 ACM事务处理。计算。日志。 21,第4号,第33条,第41页(2020年).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bomanson}等人,ACM Trans。计算。日志。21,第4号,第33条,第41页(2020年;Zbl 1502.68059) 全文: DOI程序
罗恩·范德梅登;马纳斯·K·帕特拉。 模型检验概率时间认知逻辑的不确定案例。 (英语) Zbl 1502.68188号 ACM事务处理。计算。日志。 21,第4号,第32条,第26页(2020).MSC公司:60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra},ACM Trans。计算。日志。21,第4号,第32条,第26页(2020年;Zbl 1502.68188) 全文: DOI程序 arXiv公司
科恩、利隆;鲁本·罗伊,N.S。 传递闭包逻辑的无完备性证明理论。 (英语) Zbl 1446.03031号 ACM事务处理。计算。日志。 21,第4号,第31条,第31页(2020年).MSC公司:03B35型 03B70号 03B60号 03财年03 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.N.S.Rowe},ACM Trans。计算。日志。21,第4号,第31条,第31页(2020年;Zbl 1446.03031) 全文: DOI程序
弗兰兹·巴德;Stefan博格沃特;帕特里克·科普曼;安娜·奥扎基;维罗尼卡托斯特 具有间隔数字名称的度量时间描述逻辑。 (英语) Zbl 1446.68145号 ACM事务处理。计算。日志。 21,第4号,第30条,第46页(2020年).MSC公司:68T27型 03B44号 2017年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,《美国医学杂志》。计算。日志。21,第4号,第30条,第46页(2020;兹bl 1446.68145) 全文: DOI程序
加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 有界展开类的一阶解释。 (英语) Zbl 1446.68094号 ACM事务处理。计算。日志。 21,第4号,第29条,第41页(2020).MSC公司:60年第68季度 03B70号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,ACM Trans。计算。日志。21,第4号,第29条,第41页(2020年;Zbl 1446.68094) 全文: DOI程序 arXiv公司 链接
加亚尔斯克,雅库布;彼得·赫林;Obdr zalek,简;丹尼尔·洛克斯塔诺夫;拉马努扬,M.S。 关于稠密图类的FO模型检查的一个新观点。 (英语) Zbl 1446.68093号 ACM事务处理。计算。日志。 21,第4号,第28条,第23页(2020年).MSC公司:60年第68季度 03B70号 05C75号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,ACM Trans。计算。日志。21,第4号,第28条,第23页(2020年;Zbl 1446.68093) 全文: DOI程序 arXiv公司
安托万·阿马里利;迈克尔·本尼迪克特 具有数字限制的有限开放式查询应答。 (英语) Zbl 1446.68050号 ACM事务处理。计算。日志。 21,第4号,第27条,73页(2020年).MSC公司:第68页,共15页 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}和\textit{M.Benedikt},ACM Trans。计算。日志。21,第4号,第27条,73页(2020年;Zbl 1446.68050) 全文: DOI程序 arXiv公司