Jan A.Bergstra。;约翰·V·塔克。 作为抽象数据类型的有理数轮子。 （英语） Zbl 07415131号 Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 13-30 (2021).理学硕士：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker}，莱克特。注释计算。科学。12669，13-30（2021；Zbl 07415131） 全文： 内政部 链接
瓦斯科·布拉特卡（编辑）;罗德尼·G·唐尼。（编辑）;奈特，Julia F。（编辑）;斯泰芬·伦普（编辑） 可计算性理论。2018年1月7日至13日举行的研讨会摘要。 （英语） Zbl 1409.00073号 Oberwolfach代表。 15，第1号，5-41（2018）.理学硕士：00亿05 00B25型 03月xx日 03C57号 68问题30 03-06 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}（编辑）等人，Oberwolfach Rep.15，No.1，5--41（2018；Zbl 1409.00073） 全文： 内政部
格里高·罗什乌 有限迹线性时序逻辑：共导完备性。 （英语） Zbl 1394.68237号 形式方法系统。设计。 53，第1期，138-163（2018）.理学硕士：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}，《形式与方法系统》。设计。53，第1号，138--163（2018；Zbl 1394.68237） 全文： 内政部
杰弗里·祖克 费曼关于可计算性。 （英语） Zbl 1429.03009号 Jäger，Gerhard（编辑）等人，《地基上的费弗曼》。逻辑、数学、哲学。查姆：斯普林格。Outst公司。控制日志。13, 23-56 (2017).理学硕士：03-03 03D65年 03日70 03D75号 03D78号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zucker}，Outst。控制日志。13、23-56（2017；Zbl 1429.03009） 全文： 内政部
吴国华;吴惠山 没有有限表示展开式的代数的词问题的度。 （英语） Zbl 1461.03040号 Gopal，T.V.（编辑）等人，《计算模型的理论和应用》。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10185, 643-653 (2017).理学硕士：03D45号 03天80 08A40号 第16章第15节 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Wu}和\textit{H.Wu}，Lect。注释计算。科学。10185643--653（2017；Zbl 1461.03040） 全文： 内政部
巴哈迪尔·库萨诺夫;亚历克谢·米亚斯尼科夫 有限地给出了群、半群和代数的展开式。 （英语） Zbl 1349.03045号 事务处理。美国数学。索克。 366，第3期，1455-1474（2014）.理学硕士：03D45号 03C05号机组 03天80 08B20号 20F05型 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{B.Khousainov}和\textit{A.Miasnikov}，翻译。美国数学。Soc.366，No.3，1455--1474（2014；Zbl 1349.03045） 全文： 内政部
赫希费尔特，D.R。;Khoussainov，B。 给出了可计算可数半群的有限展开式。 （英语。俄语原件） Zbl 1334.03038号 代数逻辑 51，第5期，435-444（2012）; 摘自《代数逻辑》51，第5期，652-667（2012）。理学硕士：03C57号 03D45号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Hirschfeldt}和\textit{B.Khousainov}，代数逻辑51，No.5，435--444（2012；Zbl 1334.03038）；《代数逻辑》51的译文，第5期，第652-667页（2012） 全文： 内政部
伯格斯特拉，J.A。;Y.Hirshfeld。;J.V.塔克。 草甸和等式划分规范。 （英语） Zbl 1172.68039号 西奥。计算。科学。 410，编号12-13，1261-1271（2009）.理学硕士：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人，Theor。计算。科学。410，编号12--131261--1271（2009；Zbl 1172.68039） 全文： 内政部 arXiv公司
伯格斯特拉，J.A。;J.V.塔克。 合计字段中的分区安全计算。 （英语） Zbl 1162.68479号 理论计算。系统。 43，编号3-4，410-424（2008）.理学硕士：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker}，理论计算。系统。43，编号3-4410-424（2008年；兹bl 1162.68479） 全文： 内政部 OA许可证
J.V.塔克。;朱克，J.I。 度量代数、通用代数规范和动力系统上的可计算总函数。 （英语） Zbl 1085.68094号 J.日志。阿尔盖布。程序。 62，第1期，71-108（2005）.理学硕士：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker}，J.Log。阿尔盖布。程序。62，第1号，71--108（2005；Zbl 1085.68094） 全文： 内政部
巴哈迪尔·库萨诺夫 随机性、可计算性和代数规范。 （英语） Zbl 0915.03037号 Ann.纯粹应用。逻辑 91，第1期，第1-15页（1998年）. 审核人：V.Ya.公司。克雷诺维奇（埃尔帕索） 理学硕士：03D45号 68问题30 03C05号机组 03天80 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Khoussainov}，Ann.纯粹应用。逻辑91，No.1，1--15（1998；Zbl 0915.03037） 全文： 内政部
卡尔·梅恩克 高阶代数规范表达能力的完备性定理。 （英语） Zbl 0906.68095号 J.计算。系统。科学。 54，第3期，502-519（1997）. 审核人：G.E.Tseytlin（基辅） 理学硕士：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{K.Meinke}，J.Comput。系统。科学。54，第3号，502--519（1997；Zbl 0906.68095） 全文： 内政部
卡尔·梅恩克 用于规范、模拟和测试的高阶方程逻辑。 （英语） Zbl 1407.68310号 Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1074, 124-143 (1996).理学硕士：68问题65 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Meinke}，莱克特。注释计算。科学。1074124--143（1996年；Zbl 1407.68310） 全文： 内政部
伯格斯特拉，J.A。;J.V.塔克。 堆栈代数的数据类型变化。 （英语） Zbl 0821.68082号 Ann.纯粹应用。逻辑 73，第1期，11-36页（1995年）.理学硕士：68问题65 08A70号 03天80 03C05号机组 2012年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker}，Ann.Pure Appl。逻辑73，No.1，11-36（1995；Zbl 0821.68082） 全文： 内政部 链接
卡尔·梅恩克 本原递归的递归二阶初始代数规范。 （英语） Zbl 0818.68113号 学报信息。 31，第4号，329-340（1994）. 审核人：K.Meinke公司 理学硕士：68问题65 08A70号 PDF格式BibTeX公司 XML格式引用 \textit｛K.Meinke｝，《情报法》第31卷，第4期，第329-340页（1994年；兹bl 0818.68113） 全文： 内政部
劳伦斯·莫斯。;何塞·梅塞盖尔;约瑟夫·戈根（Joseph A.Goguen）。 最终代数、余半可计算代数和不可解度。 （英语） Zbl 0768.68093号 西奥。计算。科学。 100，第2期，267-302（1992）.理学硕士：68问题65 08A70号 03D25号 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Moss}等人，Theor。计算。科学。100，第2号，267--302（1992；Zbl 0768.68093） 全文： 内政部
所罗门·费弗曼 抽象数据类型的新方法。一： 非正式发展。 （英语） Zbl 0825.68456号 数学。结构。计算。科学。 2，第2期，193-229（1992）.理学硕士：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman}，数学。结构。计算。科学。2，第2号，193--229（1992；Zbl 0825.68456） 全文： 内政部
J.V.塔克。;祖克，J.I。 流代数上的计算理论及其应用。 （英语） Zbl 1493.68142号 Havel，Ivan M.（编辑）等人，《1992年计算机科学的数学基础》。第17届国际研讨会，1992年8月24日至28日，捷克斯洛伐克布拉格。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。629, 62-80 (1992).理学硕士：2009年第68季度 68问题65 68宽10 PDF格式BibTeX公司 XML格式引用 \textit｛J.V.Tucker｝和\textit｛J.I.Zucker｝，Lect。注释计算。科学。629，62-80（1992年；兹bl 1493.68142） 全文： 内政部
罗德伯格，P.H。 具有最小可计算参数的数据类型的代数可指定性。 （英语） Zbl 0751.68037号 西奥。计算。科学。 85，第1期，97-116（1991）. 审核人：G.格里加斯（维尔纽斯） 理学硕士：68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Rodenburg}，Theor。计算。科学。85，第1号，97--116（1991；Zbl 0751.68037） 全文： 内政部
加利亚迪，G。;南图利帕尼。 用鉴别器技术研究可计算代数的代数规格说明。 （英语） Zbl 0732.68073号 RAIRO，通知。塞奥尔。申请。 24，No.5，429-440（1990）. 审核人：J.Bergstra（阿姆斯特丹） 理学硕士：68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Gagliardi}和\textit{S.Tulipani}，RAIRO，Inform。塞奥尔。申请。24，编号52429-440（1990年；兹bl 0732.68073） 全文： 内政部 欧洲DML
马龙吉（G.Marongiu）。;南图利帕尼。 根据伯格斯特拉和塔克的推测。 （英语） Zbl 0678.68015号 西奥。计算。科学。 67，第1期，87-97（1989）.理学硕士：68第05页 60年第68季度 68问题55 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Marongiu}和\textit{S.Tulipani}，Theor。计算。科学。67，第1号，87--97（1989；Zbl 0678.68015） 全文： 内政部
伯格斯特拉，J.A。;J.V.塔克。 可计算和半可计算数据类型的代数规范。 （英语） Zbl 0637.68013号 西奥。计算。科学。 50, 137-181 (1987). 审核人：G.格里加斯 理学硕士：68号01 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker}，Theor。计算。科学。50137--181（1987年；Zbl 0637.68013） 全文： 内政部
海林，简 代数规范的部分求值和（ω）-完备性。 （英语） Zbl 0606.68017号 西奥。计算。科学。 43, 149-167 (1986).理学硕士：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.海林}，Theor。计算。科学。43、149——167（1986年；Zbl 0606.68017） 全文： 内政部
赫伯特·克拉伦。 抽象代数软件规范的构造方法。 （英语） Zbl 0544.68016号 西奥。计算。科学。 30, 139-204 (1984).理学硕士：68第05页 PDF格式BibTeX公司 XML格式引用 \文本{H.A.Klaeren}，Theor。计算。科学。30、139--204（1984年；Zbl 0544.68016） 全文： 内政部