亚历山大·克劳斯;托比亚斯·尼普科 证明珍珠:正则表达式等价和关系代数。 (英语) Zbl 1269.68090号 J.汽车。推理 49,第1期,95-106(2012).MSC公司:68吨15 03G15年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Krauss}和\textit{T.Nipkow},J.Autom。推理49,No.1,95--106(2012;Zbl 1269.68090) 全文: 内政部
迈克尔·科迪什;吉尔根·吉斯尔;彼得·施奈德·坎普;雷内·蒂曼 具有递归路径顺序和依赖对的终止证明的SAT求解。 (英语) 兹比尔1276.68140 J.汽车。推理 49,第1期,53-93(2012).MSC公司:68T20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,J.Autom。推理49,No.1,53--93(2012;Zbl 1276.68140) 全文: 内政部
Chang、Liang;石忠志;顾天龙;赵玲忠 用于表示和推理动作的一系列动态描述逻辑。 (英语) Zbl 1276.68142号 J.汽车。推理 49,第1期,1-52页(2012).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Chang}等人,J.Autom。推理49,No.1,1-52(2012;Zbl 1276.68142) 全文: 内政部