克里斯汀·加纳 代数结构的计算和不可判定问题的分类。 (英语) Zbl 1423.03139号 数学。结构。计算。科学。 27,第8期,1386-1413(2017).MSC公司:03日第10天 03天35分 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Gaßner},数学。结构。计算。科学。27,第8号,1386--1413(2017;Zbl 1423.03139) 全文: 内政部
彼得·阿斯维尔德(Peter R.J.Asveld)。 基于转义的抽象语法。 (英语) Zbl 0742.68037号 西奥。计算。科学。 81,第2号,269-288(1991). 审核人:G.Paun(布库雷什蒂) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.J.Asveld},Theor。计算。科学。81,No.2,269--288(1991;Zbl 0742.68037) 全文: 内政部 链接
范·列文(Jan van Leeuwen) 在良半序自由幺半群中的有效构造。 (英语) Zbl 0384.68073号 离散数学。 22, 237-252 (1978).MSC公司:65年第68季度 06年06月06日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.van Leeuwen},离散数学。22237--252(1978;Zbl 0384.68073) 全文: 内政部
约斯特·恩格尔弗里特 迭代迭代替换。 (英语) Zbl 0364.68070号 西奥。计算。科学。 5(1977), 85-100 (1978).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},西奥。计算。科学。5、85-100(1978年;Zbl 0364.68070) 全文: 内政部 链接