波季莫夫，V.V。 在有序半群尺度上验证线性一元递归程序等价性的算法。 （英语。俄文原件） Zbl 1269.68046号 莫斯科。大学计算机。数学。赛博。 37，第1期，35-41（2013）; 从背心翻译而来。莫斯科。州立大学。XV 2012，第4期，37-45（2012）。MSC公司：第68页第19页 第68季度第60季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Podymov}，莫斯克。大学计算机。数学。赛博。37，第1号，35-41（2013年；兹bl 1269.68046）；从背心翻译而来。莫斯科。州立大学。XV 2012，第4期，37-45（2012） 全文： 内政部
扎哈罗夫，V.A。 用双磁带自动机进行程序等价性检查。 （英语。俄文原件） Zbl 1288.68171号 赛博。系统。分析。 46，第4期，554-562（2010）; 翻译自Kibern。修女。分析。2010年，第4期，39-48（2010）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.A.Zakharov｝，赛本。系统。分析。46，No.4，554--562（2010；Zbl 1288.68171）；翻译自Kibern。修女。分析。2010年，第4期，39-48（2010） 全文： 内政部
弗拉基米尔·扎哈罗夫。 关于一元递归程序等价问题的可判定性。 （英语） Zbl 0962.68091号 西奥。通知。申请。 34，第2期，157-171（2000）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.A.Zakharov}，Theor。通知。申请。34，第2号，157--171（2000；Zbl 0962.68091） 全文： 内政部 欧洲DML 链接
亨特，H.B.III;D.J.罗森克兰茨。 一元递归方案的复杂性：指数时间界限。 （英语） Zbl 0543.68034号 J.计算。系统。科学。 28, 395-419 (1984).MSC公司：65年第68季度 第68季度第60季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III}和\textit{D.J.Rosenkrantz}，J.Compute。系统。科学。28395-419（1984年；兹bl 0543.68034） 全文： 内政部
亨特，H.B.III;D.J.罗森克兰茨。 一元递归方案的复杂性：可执行性问题、嵌套深度和应用程序。 （英语） Zbl 0537.68039号 西奥。计算。科学。 27, 3-38 (1983). 审核人：R.纳伯特 MSC公司：65年第68季度 第68季度第60季度 03B25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt三世}和\textit{D.J.Rosenkrantz}，Theor。计算。科学。27、3--38（1983年；Zbl 0537.68039） 全文： 内政部
冈瑟·施密特 程序作为局部图。二： 递归。 （英语） Zbl 0493.68016号 西奥。计算。科学。 15, 159-179 (1981).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}，Theor。计算。科学。15、159--179（1981年；Zbl 0493.68016） 全文： 内政部
冈瑟·施密特 程序作为部分图。一： 流等价性和正确性。 （英语） 兹伯利0493.68015 西奥。计算。科学。 15, 1-25 (1981).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}，Theor。计算。科学。15、1--25（1981年；Zbl 0493.68015） 全文： 内政部
艾米丽·弗里德曼（Emily P.Friedman）。;希拉·格雷巴赫。 一元递归方案：常数的影响。 （英语） 兹伯利0411.03010 J.计算。系统。科学。 18, 254-266 (1979).MSC公司：03B25号 第68季度第60季度 03天80 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Friedman}和\textit{S.A.Greibach}，J.Compute。系统。科学。18、254--266（1979年；Zbl 0411.03010） 全文： 内政部
布鲁诺·库塞尔;艾琳·盖萨里安 关于某些类别的解释。 （英语） Zbl 0392.68009号 J.计算。系统。科学。 17, 388-413 (1978).MSC公司：第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Guessarian}，J.Compute。系统。科学。17、388--413（1978年；Zbl 0392.68009） 全文： 内政部
乔斯特·恩格尔弗里特;埃里克·梅内切·施密特 IO和OI。二、。 （英语） Zbl 0371.68020号 J.计算。系统。科学。 16, 67-99 (1978).MSC公司：65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{E.M.Schmidt}，J.Compute。系统。科学。16、67-99（1978年；Zbl 0371.68020） 全文： 内政部
乔斯特·恩格尔弗里特;埃里克·梅内切·施密特 IO和OI。一、。 （英语） Zbl 0366.68053号 J.计算。系统。科学。 15, 328-353 (1977).MSC公司：65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛J.Engelfriet｝和\textit｛E.M.Schmidt｝，J.Comput。系统。科学。15、328--353（1977年；Zbl 0366.68053） 全文： 内政部
艾米丽·弗里德曼（Emily P.Friedman）。 简单的无上下文语言和自由的一元递归方案。 （英语） Zbl 0364.68076号 数学。系统。理论 11, 9-28 (1977).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Friedman}，数学。系统。理论11，9-28（1977；Zbl 0364.68076） 全文： 内政部
比里，C。 对Valiant关于确定性有限转弯下推机器等价性的决策过程的改进。 （英语） Zbl 0361.68082号 西奥。计算。科学。 3(1976), 305-320 (1977).MSC公司：65年第68季度 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{C.Beeri}，Theor。计算。科学。3、305-320（1977年；Zbl 0361.68082） 全文： 内政部
Olshansky，特迈玛;阿米尔·普努利 检查LL（k）文法等价性的直接算法。 （英语） Zbl 0358.68118号 西奥。计算。科学。 4, 321-349 (1977).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Olshansky}和\textit{A.Pnueli}，Theor。计算。科学。4、321--349（1977年；Zbl 0358.68118） 全文： 内政部
艾米丽·弗里德曼（Emily P.Friedman）。 确定性上下文无关语言和一元递归方案的等价问题。 （英语） Zbl 0358.68109号 J.计算。系统。科学。 14, 344-359 (1977).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Friedman}，J.计算机。系统。科学。14、344--359（1977年；Zbl 0358.68109） 全文： 内政部
艾米丽·弗里德曼（Emily P.Friedman）。 简单语言的包含问题。 （英语） Zbl 0349.68032号 西奥。计算。科学。 1297-316（1976年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{E.P.Friedman}，Theor。计算。科学。1297--316（1976；Zbl 0349.68032） 全文： 内政部
德巴克尔，J.W。;米尔滕斯，L.G.L.T。 归纳断言方法的完备性。 （英语） 兹比尔0353.68040 J.计算。系统。科学。 11, 323-357 (1975).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{L.G.L.T.Meertens}，J.Compute。系统。科学。11323-357（1975年；兹bl 0353.68040） 全文： 内政部
巴里·罗森。 程序等价性和上下文无关文法。 （英语） Zbl 0315.68063号 J.计算。系统。科学。 11, 358-374 (1975).MSC公司：65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Rosen}，J.Compute（计算机）。系统。科学。11、358--374（1975年；Zbl 0315.68063） 全文： 内政部