Jan A.Bergstra。;约翰·V·塔克。 对称变换:其方程理论的数据类型和算法程度。 (英文) Zbl 1524.68199号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。13560, 63-80 (2022).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},莱克特。注释计算。科学。13560,63-80(2022;Zbl 1524.68199) 全文: 内政部
J.V.塔克。;朱克,J.I。 将可计算性理论推广到抽象代数。 (英文) 兹比尔1403.03077 乔瓦尼(编辑)等,《图灵的革命》。他的可计算性思想的影响。查姆:Birkhäuser/Springer(ISBN 978-3-319-22155-7/hbk;978-3-3169-22156-4/电子书)。127-160 (2015).MSC公司:03D75号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.塔克}和\textit{J.I.祖克},in:图灵革命。他的可计算性思想的影响。查姆:Birkhäuser/Springer。127-160(2015年;兹bl 1403.03077) 全文: 内政部 链接
J.V.塔克。;朱克,J.I。 连续和离散时间流上算子的连续性。 (英文) Zbl 1251.68141号 西奥。计算。科学。 412,第28号,3378-3403(2011).MSC公司:68问题55 2010年第68季度 54立方厘米35 54H25个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},Theor。计算。科学。412,第28号,3378--3403(2011;Zbl 1251.68141) 全文: 内政部
詹斯·布兰克;维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 有效部分代数表示的稳定性。 (英文) Zbl 1222.03048号 数学。日志。问:。 57,第2期,217-231(2011).MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Blank}等人,数学。日志。问57,第2号,217--231(2011;Zbl 1222.03048) 全文: 内政部
汤普森,B.C。;J.V.塔克。;朱克,J.I。 使用同步并发算法理论统一计算机和动态系统。 (英文) 兹比尔1192.68843 申请。数学。计算。 215,第4期,1386-1403(2009).MSC公司:68瓦10 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Thompson}等人,应用。数学。计算。215,第4号,1386--1403(2009;Zbl 1192.68843) 全文: 内政部
E.J.贝格斯。;J.V.塔克。 通过牛顿和相对论运动学系统进行计算。 (英文) 1400.70002兹罗提 申请。数学。计算。 215,第4期,1311-1322(2009).MSC公司:70-08 70小时40 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}和\textit{J.V.Tucker},应用。数学。计算。215,第4号,1311--1322(2009;Zbl 1400.70002) 全文: 内政部
埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·V·塔克。 预言和建议作为衡量标准。 (英文) Zbl 1166.68318号 Calude,Cristian S.(编辑)等人,《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85193-6/pbk)。计算机科学课堂讲稿5204,33-50(2008)。MSC公司:2005年第68季度 2010年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{E.Beggs}等人,Lect。注释计算。科学。5204、33-50(2008年;Zbl 1166.68318) 全文: 内政部
E.J.贝格斯。;J.V.塔克。 牛顿运动机器的编程实验程序。 (英文) Zbl 1143.68015号 Beckmann,Arnold(编辑)等人,《逻辑与算法理论》。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69405-2/pbk)。计算机科学课堂讲稿5028,52-66(2008)。MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}和\textit{J.V.Tucker},Lect。注释计算。科学。5028,52--66(2008;Zbl 1143.68015) 全文: 内政部
E.J.贝格斯。;J.V.塔克。 牛顿机器对实数的实验计算。 (英文) Zbl 1130.68051号 程序。英国皇家学会。,序列号。A、 数学。物理学。工程科学。 463,编号2082,1541-1561(2007).MSC公司:2005年第68季度 03层60 70A05型 70F99型 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}和\textit{J.V.Tucker},程序。英国皇家学会。,序列号。A、 数学。物理学。工程科学。463,编号2082,1541--1561(2007;Zbl 1130.68051) 全文: 内政部
约翰·V·塔克。;杰弗里·扎克。 模拟网络的可计算性。 (英文) Zbl 1110.68046号 西奥。计算。科学。 371,编号1-2,115-146(2007).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},Theor。计算。科学。371,编号1--2,115-146(2007;Zbl 1110.68046) 全文: 内政部
埃德温·贝格斯。;约翰·V·塔克。 在空间、时间、质量和能量有界的牛顿系统能计算所有函数吗? (英文) Zbl 1108.68050号 西奥。计算。科学。 371,编号1-2,4-19(2007).MSC公司:2005年第68季度 70A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}和\textit{J.V.Tucker},Theor。计算。科学。371,编号1--2,4--19(2007;Zbl 1108.68050) 全文: 内政部
E.J.贝格斯。;J.V.塔克。 在牛顿运动学中嵌入无限并行计算。 (英文) 兹比尔1101.68573 申请。数学。计算。 178,第1期,25-43(2006).MSC公司:2010年第68季度 2005年第68季度 70A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}和\textit{J.V.Tucker},应用。数学。计算。178,编号1,25-43(2006;Zbl 1101.68573) 全文: 内政部
J.V.塔克。;朱克,J.I。 度量代数、通用代数规范和动力系统上的可计算总函数。 (英文) 兹比尔1085.68094 J.日志。阿尔盖布。程序。 62,第1期,71-108(2005).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},J.Log。阿尔盖布。程序。62,第1号,71--108(2005;Zbl 1085.68094) 全文: 内政部