J.V.塔克。;朱克,J.I。 抽象可计算性和代数规范。 (英语) 兹比尔1365.68333 ACM事务处理。计算。日志。 3,第2期,279-333(2002年).MSC公司:68问题65 03D75号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},ACM Trans。计算。日志。3,第2号,279--333(2002;Zbl 1365.68333) 全文: 内政部
J.V.塔克。;朱克,J.I。 流代数的无限初始代数规范。 (英语) Zbl 1017.08003号 Sieg,Wilfried(编辑)等人,《数学基础的反思》。索罗门·费弗曼的散文。马萨诸塞州纳蒂克:A K Peters。莱克特。注释日志。15, 228-247 (2002). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:08A70号 68问题65 03C75号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},莱克特。备注日志。15、228--247(2002年;Zbl 1017.08003)
J.V.塔克。;朱克,J.I。 流代数上的可计算函数。 (英语) Zbl 0831.08001号 Schwichtenberg,Helmut(编辑),《证明与计算》。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林:Springer-Verlag。北约ASI系列。,序列号。F、 计算。系统。科学。139, 397-437 (1995). 审核人:C.Meinel(特里尔) MSC公司:08A70号 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},北约ASI Ser。,序列号。F、 计算。系统。科学。139397--437(1995年;Zbl 0831.08001)
J.A.伯格斯特拉。;J.V.塔克。 堆栈代数的数据类型变化。 (英语) Zbl 0821.68082号 Ann.纯粹应用。逻辑 73,第1号,11-36(1995).MSC公司:68问题65 08A70号 03天80 03C05号机组 2012年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Ann.Pure Appl。逻辑73,No.1,11-36(1995;Zbl 0821.68082) 全文: 内政部 链接
Meinke,K。(编辑);J.V.塔克。(编辑) 多元逻辑及其应用。 (英语) Zbl 0781.03003号 威利专业计算。奇切斯特:John Wiley&Sons。第十七章,第397页(1993年)。 审核人:N.Curteanu(伊阿什) MSC公司:03B10号机组 03-06 68-06 68立方英尺 03B70号 00B15号机组 60年第68季度 03B45号 08A70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Meinke}(编辑)和textit{J.V.Tucker}(主编),多分类逻辑及其应用。奇切斯特:约翰·威利父子公司(1993;Zbl 0781.03003)
J.V.塔克。;朱克,J.I。 抽象结构上的可证明可计算选择函数。 (英语) Zbl 0805.03034号 Aczel,Peter(编辑)等人,证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。277-306 (1992).MSC公司:03D75号 05年3月 68问题65 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},见:证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。277--306(1992年;Zbl 0805.03034)
J.V.塔克。;朱克,J.I。 抽象数据类型上的确定性和非确定性计算以及Horn程序。 (英语) Zbl 0768.68094号 J.日志。程序。 13,第1期,23-55(1992年).MSC公司:68问题65 68T27型 08A70号 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},J.Log。程序。13,编号1,23-55(1992年;Zbl 0768.68094) 全文: 内政部
J.V.塔克。 代数系统中的计算。 (英语) Zbl 0463.03026号 递归理论:它的推广和应用,Proc。逻辑。利兹/英国科洛克。1979年,伦敦。数学。Soc.Lect(社会学)。注释序列号。45, 215-235 (1980).MSC公司:03天80 03日第10天 03D60年 03天35分 03D75号 22A30型 68瓦99 2005年第68季度 68第05页 PDF格式BibTeX公司 XML格式
J.V.塔克。 代数系统中的计算。 (英语) Zbl 0415.03035号 数学。美分。,金额。,后传IW130/80,第21页(1980年)。MSC公司:03天80 03天35分 03D60年 68瓦99 22A30型 03D75号 03日第10天 2005年第68季度 68第05页 PDF格式BibTeX公司 XML格式