毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 具有正规形和逆的局部稳定理论的入侵推理问题。 (英语) Zbl 1386.68078号 西奥。计算。科学。 672,64-100(2017).MSC公司:2012年第68季度 03B70型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Theor。计算。科学。672、64-100(2017年;Zbl 1386.68078) 全文: DOI程序 链接
爱德华多·博内利;迪莉娅·凯斯纳;卡洛斯·隆巴迪;亚历杭德罗·雷奥斯 关于超越需求的抽象规范化。 (英语) Zbl 1387.68143号 西奥。计算。科学。 672, 36-63 (2017).MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bonelli}等人,Theor。计算。科学。672、36-63(2017年;Zbl 1387.68143) 全文: DOI程序 arXiv公司 链接
何塞·梅塞盖尔 条件重写模公理的严格一致性。 (英语) Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司:2012年第68季度 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},Theor(西奥)。计算。科学。672,1--35(2017;Zbl 1386.68080) 全文: DOI程序