艾索尔德·阿德勒;波莉·法伊 在有界度模型的变化中更快的属性测试程序。 (英语) Zbl 07713586号 ACM事务处理。计算。日志。 24,第3条,第25条,第24页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Adler}和\textit{P.Fahey},ACM Trans。计算。日志。24,第3号,第25条,第24页(2023;Zbl 07713586) 全文: 内政部 arXiv公司
马丁·格罗;丹尼尔·诺恩 有界秩宽图的规范化和可定义性。 (英语) 兹伯利07650602 ACM事务处理。计算。日志。 24,第1号,第6条,第31页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{D.Neuen},ACM翻译。计算。日志。24,第1号,第6条,第31页(2023;Zbl 07650602) 全文: 内政部 arXiv公司
克里斯托弗·马瑟亚;詹斯·佩格尔;弗洛里安·祖勒格 保护分离逻辑的一种决策过程,用归纳定义完成分离逻辑的蕴涵检查。 (英语) Zbl 07650597号 ACM事务处理。计算。日志。 24,第1号,第1条,第76页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Matheja}等人,《美国医学杂志》。计算。日志。24,第1号,第1条,第76页(2023年;Zbl 07650597) 全文: 内政部 arXiv公司 链接
马丁·吕克;阿恩·迈尔;艾伦娜·辛德勒 时序逻辑中可满足性的参数化复杂性。 (英语) Zbl 1367.68111号 ACM事务处理。计算。日志。 18,第1号,第1条,第32页(2017年).MSC公司:65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}等人,《美国医学杂志》。计算。日志。18,第1号,第1条,第32页(2017年;Zbl 1367.68111) 全文: 内政部
迈克尔·埃尔伯菲尔德;马丁·格罗;蒂尔·坦托 其中一阶逻辑和一元二阶逻辑重合。 (英语) Zbl 1407.03003号 ACM事务处理。计算。日志。 17号第4条第25条第18页(2016年).MSC公司:03B15号机组 03年10月 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Elberfeld}等人,《美国医学杂志》。计算。日志。17,第4号,第25条,第18页(2016;Zbl 1407.03003) 全文: 内政部 arXiv公司
西蒙·波娃;罗伯特·加尼安;斯泽德,斯特凡 部分有序集上的模型检查存在逻辑。 (英语) Zbl 1367.68182号 ACM事务处理。计算。日志。 17,第2号,第10条,第35页(2016年).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}等人,ACM Trans。计算。日志。17,第2号,第10条,第35页(2016年;兹bl 1367.68182) 全文: 内政部 arXiv公司
Heule,Marijn J.H。;斯泽德,斯特凡 SAT中的clique-width方法。 (英语) Zbl 1354.68240号 ACM事务处理。计算。日志。 第16号第3条第24条第27页(2015年).MSC公司:68T20型 05C69号 05C75号 05C78号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.H.Heule}和\textit{S.Szeider},ACM Trans。计算。日志。16,第3号,第24条,第27页(2015;Zbl 1354.68240) 全文: 内政部 arXiv公司
贝内迪克特·博利格;保罗·加斯丁;本杰明·蒙梅格;马克·泽顿 卵石加权自动机和加权逻辑。 (英语) Zbl 1291.03076号 ACM事务处理。计算。日志。 第15号第2条第15条第35页(2014年).MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,ACM Trans。计算。日志。15,第2号,第15条,第35页(2014;Zbl 1291.03076) 全文: 内政部 哈尔