J.V.塔克。;祖克,J.I。 将可计算性理论推广到抽象代数。 (英语) Zbl 1403.03077号 Sommaruga,Giovanni(编辑)等人,图灵的革命。他的可计算性思想的影响。查姆: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.Tucker}和\textit{J.I.Zucker},在:图灵的革命。他的可计算性思想的影响。查姆:Birkhäuser/Springer。127-160(2015;Zbl 1403.03077) 全文: 内政部 链接
傅明全;杰弗里·祖克 实域上部分函数的计算模型。 (英语) Zbl 1320.68079号 J.日志。阿尔盖布。方法计划。 84,第2期,218-237(2015).MSC公司:2005年第68季度 03D75号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Q.Fu}和textit{J.Zucker},J.Log。阿尔盖布。方法计划。84,No.2,218--237(2015;Zbl 1320.68079) 全文: 内政部
谢波;傅明全;杰弗里·祖克 实数的半可计算集的特征。 (英语) Zbl 1307.68028号 J.日志。阿尔盖布。方法计划。 84,第1期,124-154(2015).MSC公司:68号30 68甲15 2005年第68季度 03D78号 08A70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Xie}等人,J.Log。阿尔盖布。方法计划。84,第1号,124--154(2015;Zbl 1307.68028) 全文: 内政部
埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 将物理实验公理化为算法的预言。 (英语) Zbl 1334.68063号 菲洛斯。变速器。英国皇家学会。,序列号。A、 数学。物理。工程科学。 370,编号1971,3359-3384(2012).MSC公司:2005年第68季度 00A79号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}等人,Philos。变速器。英国皇家学会。,序列号。A、 数学。物理。工程科学。370,编号1971,3359-3384(2012;Zbl 1334.68063) 全文: 内政部
J.V.塔克。;祖克,J.I。 连续和离散时间流上运算符的连续性。 (英语) Zbl 1251.68141号 西奥。计算。科学。 412,第28号,3378-3403(2011).MSC公司:68问题55 2010年第68季度 54立方厘米 54H25个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},Theor。计算。科学。412,编号28,3378-3403(2011年;兹bl 1251.68141) 全文: 内政部
汤普森,B.C。;J.V.塔克。;祖克,J.I。 使用同步并发算法理论统一计算机和动态系统。 (英语) Zbl 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) 全文: 内政部
托马斯·斯特拉姆;杰弗里·祖克 抽象代数上存在断言的本原递归选择函数。 (英语) Zbl 1156.03043号 J.日志。阿尔盖布。程序。 76,第2期,175-197(2008).MSC公司:03天60 30楼03号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Strahm}和\textit{J.Zucker},J.Log。阿尔盖布。程序。76,第2号,175--197(2008;Zbl 1156.03043) 全文: 内政部 链接
威廉·泰特(编辑) 2007年符号逻辑协会春季会议。2007年4月19日至21日,伊利诺伊州芝加哥市帕尔默豪斯希尔顿酒店。 (英语) Zbl 1130.03301号 牛市。符号。日志。 13,第4号,553-560(2007).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{W.Tait}(编辑),公牛。符号。日志。13,编号4553-560(2007年;兹bl 1130.03301) 全文: 内政部 欧几里得
约翰·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) 全文: 内政部
姜伟;王,袁;杰弗里·祖克 抽象代数上非确定性编程语言的普遍性和半可计算性。 (英语) Zbl 1106.68040号 J.日志。阿尔盖布。程序。 71,第1号,44-78(2007).MSC公司:2005年第68季度 68号30 2010年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{W.Jiang}等人,J.Log。阿尔盖布。程序。71,第1号,44--78(2007;Zbl 1106.68040) 全文: 内政部