巴勃罗·巴塞洛;巴勃罗·穆尼奥斯 有理关系的图形逻辑:单词组合的作用。 (英语) Zbl 1367.68082号 ACM事务处理。计算。日志。 18,第2号,第10条,41页(2017年).MSC公司:第68页,共15页 03B70号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Barceló}和\textit{P.Muñoz},ACM Trans。计算。日志。18,第2号,第10条,第41页(2017年;Zbl 1367.68082) 全文: 内政部
马丁·吕克;阿恩·迈尔;艾伦娜·辛德勒 时序逻辑中可满足性的参数化复杂性。 (英语) Zbl 1367.68111号 ACM事务处理。计算。日志。 18,第1号,第1条,第32页(2017年).MSC公司:65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}等人,ACM Trans。计算。日志。18,第1号,第1条,第32页(2017年;Zbl 1367.68111) 全文: 内政部
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 1354.68156号 ACM事务处理。计算。日志。 16,第1号,第1条,第21页(2015年).MSC公司:第68季度第45季度 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Halamish}和\textit{O.Kupferman},ACM翻译。计算。日志。16,第1号,第1条,第21页(2015;Zbl 1354.68156) 全文: 内政部
菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.汉森。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 Brzozowski最小化算法中的代数-代数对偶。 (英语) Zbl 1288.68174号 ACM事务处理。计算。日志。 第15号第1条第3条第29页(2014年).MSC公司:70年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,ACM Trans。计算。日志。15,第1号,第3条,29页(2014年;Zbl 1288.68174) 全文: 内政部 链接