编辑配置文件(在新选项卡中打开) 约翰·V·塔克。 合著者距离 作者ID: 塔克.john-v 发布日期: J.V.塔克。;约翰·V·塔克。;约翰·塔克;J·V·塔克 更多。。。较少的 已编制索引的文档: 122出版物自1969年以来,包括18本书和1个附加arXiv预打印 3作为编辑的贡献·2进一步捐款 合著者: 34位合著者具有117联合出版物 688联合作者 全部的 前5名合著者 6 单作者的 44 Jan A.Bergstra。 22 杰弗里·扎克。 20 埃德温·贝格斯。 14 JoséFélix科斯塔 12 维戈·斯托尔滕贝格·汉森 6 阿伦·霍尔顿(Arun V.Holden)。 5 M.J.普尔。 4 布鲁诺·洛夫 4 迪奥戈·波萨 三 詹斯·布兰克 三 北卡罗来纳州哈曼。 三 约拉姆·赫什菲尔德 三 蒂琳,耶兹 2 曼弗雷德·布罗伊 2 扬·威廉·克鲁普 2 A.R.马丁。 2 卡尔·梅恩克 2 约翰·莫尔德斯塔德 2 马库斯·罗根巴赫 2 张恒贵 1 彼得·阿策尔 1 阿诺德·贝克曼 1 乌尔里希·伯杰 1 安东尼奥·塞隆 1 陈良婷 1 陈敏 1 克拉克(Edmund Melson jun Clarke)。 1 理查德·克莱顿(Richard H.Clayton)。 1 佩德罗·科尔特斯 1 Löwe,Benedikt公司 1 凯文·麦克沃伊 1 D.L.里斯。L。 1 施林格洛夫,伯恩德·霍尔格 1 杰拉尔多·施奈德 1 谢赫,西拉杰·艾哈迈德 1 约翰·谢泼德森(John C.Shepherdson)。 1 史蒂芬森,K。 1 汤普森,B.C。 1 斯坦利·斯科特·韦纳 1 维多利亚·王 1 马丁·威尔辛 全部的 前5名系列 13 理论计算机科学 三 信息学报 三 混沌、孤子和分形 三 应用数学与计算 三 MSCS公司。计算机科学中的数学结构 三 伦敦皇家学会会刊。系列A.数学、物理和工程科学 三 ACM计算逻辑事务 2 符号逻辑杂志 2 斯堪的纳维亚数学 2 计算机程序设计科学 2 国际计算机科学基础杂志 2 国际应用科学与工程分叉与混沌杂志 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 《伦敦数学学会通报》 1 信息和控制 1 计算机协会杂志 1 计算机与系统科学杂志 1 数学哲学 1 伦敦皇家学会哲学学报。序列号。A类 1 SIAM计算机杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 并行计算 1 逻辑程序设计杂志 1 计算的形式方面 1 逻辑与计算杂志 1 《数理逻辑季刊》 1 符号逻辑公报 1 计算系统理论 1 美国医学会杂志 1 混乱 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 逻辑与代数程序设计杂志 1 剑桥理论计算机科学丛书 1 CWI专著 1 计算机科学课堂讲稿 1 符号逻辑述评 1 可计算性 1 理论计算机科学课文。EATCS系列 全部的 前5名字段 108 计算机科学(68-XX) 56 数学逻辑和基础(03-XX) 8 一般代数系统(08-XX) 7 总体主题;集合(00-XX) 6 粒子和系统力学(70-XX) 6 生物学和其他自然科学(92-XX) 2 场论和多项式(12-XX) 2 拓扑群、李群(22日至XX日) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 111出版物有被引用786中的次316文件 引用人▼ 年份▼ 可计算和半可计算数据类型的代数规范。 Zbl 0637.68013号 J.A.伯格斯特拉。;J.V.塔克。 35 1987 可计算的环和字段。 Zbl 0944.03040号 斯托尔滕贝格·汉森,V。;J.V.塔克。 30 1999 抽象数据类型上的程序正确性,具有错误状态语义。 Zbl 0641.68028号 J.V.塔克。;朱克,J.I。 29 1988 通过有限方程规范方法描述可计算数据类型。 Zbl 0449.68003号 J.A.伯格斯特拉。;J.V.塔克。 27 1980 度量部分代数上的抽象与具体计算。 Zbl 1367.68102号 J.V.塔克。;朱克,J.I。 25 2004 数据类型规范的初始和最终代数语义:两个特征化定理。 Zbl 0515.68016号 J.A.伯格斯特拉。;J.V.塔克。 24 1983 作为域完成局部环。 Zbl 0662.0304号 斯托尔滕贝格·汉森,V。;J.V.塔克。 22 1988 有理数作为抽象数据类型。 Zbl 1292.68105号 Jan A.Bergstra。;J.V.塔克。 19 2007 牛顿机器实数的实验计算。 Zbl 1130.68051号 E.J.贝格斯。;J.V.塔克。 19 2007 霍尔逻辑的表达性和完整性。 Zbl 0549.68021号 J.A.伯格斯特拉。;J.V.塔克。 18 1982 拓扑代数计算的具体模型。 Zbl 0916.68047号 维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 17 1999 在牛顿运动学中嵌入无限并行计算。 Zbl 1101.68573号 E.J.贝格斯。;J.V.塔克。 16 2006 以实验为预言的计算复杂性。 Zbl 1152.68444号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·V·塔克。 16 2008 草甸和等式划分规范。 Zbl 1172.68039号 J.A.伯格斯特拉。;Y.Hirshfeld。;J.V.塔克。 16 2009 在空间、时间、质量和能量有界的牛顿系统能计算所有函数吗? Zbl 1108.68050号 埃德温·贝格斯。;约翰·V·塔克。 16 2007 代数逆极限上的代数方程和不动点方程。 兹比尔0788.68093 斯托尔滕贝格-汉森,维戈;J.V.塔克。 16 1991 关于代数规格说明的威力。 Zbl 0462.68001号 J.A.伯格斯特拉。;布罗伊,M。;J.V.塔克。;Wirsing,M。 15 1981 耦合映射格作为计算系统。 Zbl 1055.68544号 A.V.霍尔顿。;J.V.塔克。;张,H。;M.J.普尔。 14 1992 可计算数据类型的代数规范方法的完整性。 Zbl 0513.68017号 J.A.伯格斯特拉。;J.V.塔克。 13 1982 拓扑部分代数上的While程序计算。 Zbl 0916.68046号 J.V.塔克。;朱克,J.I。 12 1999 等式规范,完整项重写系统,可计算和半可计算代数。 兹伯利0885.68092 J.A.伯格斯特拉。;J.V.塔克。 12 1995 流代数上的可计算函数。 Zbl 0831.08001号 J.V.塔克。;朱克,J.I。 12 1995 可计算和半可计算数据结构的代数规范。 Zbl 0419.68029号 J.A.伯格斯特拉。;J.V.塔克。 11 1979 度量代数、通用代数规范和动力系统上的可计算总函数。 Zbl 1085.68094号 J.V.塔克。;朱克,J.I。 11 2005 模拟网络的可计算性。 Zbl 1110.68046号 约翰·V·塔克。;杰弗里·扎克。 10 2007 将物理实验公理化为算法的预言。 Zbl 1334.68063号 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 10 2012 度量部分代数上的可计算和连续部分同态。 Zbl 1058.03070号 维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 9 2003 由算法控制的实验中测量的限制。 Zbl 1216.03028号 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 9 2010 弗洛伊德原理、正确性理论和程序等价。 Zbl 0474.68017号 J.A.伯格斯特拉。;Tiuryn,J。;J.V.塔克。 9 1982 以实验为预言的计算复杂性。二、。上限。 Zbl 1186.68194号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;J.V.塔克。 9 2009 哺乳动物心脏的算法模型:传播、脆弱性、重返和颤动。 2008年8月77日 A.V.霍尔顿。;M.J.普尔。;J.V.塔克。 8 1996 自顶向下设计和通信过程代数。 Zbl 0606.68021号 J.A.伯格斯特拉。;J.V.塔克。 8 1985 物理神谕:图灵机器和惠斯通桥。 兹比尔1233.03018 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 8 2010 一些自然结构在其while-programs中没有一个合理且可判定的Hoare-like逻辑。 Zbl 0483.68033号 J.A.伯格斯特拉。;J.V.塔克。 8 1982 通过牛顿和相对论运动学系统进行计算。 1400.70002兹罗提 E.J.贝格斯。;J.V.塔克。 8 2009 通过有限的等式规范方法对可计算数据类型进行表征。 Zbl 0417.68012号 J.A.伯格斯特拉。;J.V.塔克。 7 1979 关于经典物理学中测量的复杂性。 Zbl 1140.68022号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·塔克 7 2008 具有异步通信机制的进程代数。 Zbl 0579.68015号 J.A.伯格斯特拉。;Klop,J.W。;J.V.塔克。 7 1985 超大规模集成电路设计的理论基础。 Zbl 0802.68069号 7 1990 物理预言机模型对计算能力的影响。 Zbl 1253.68123号 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 7 2012 复杂性理论和代数编程系统的操作结构。 Zbl 0489.68005号 阿斯维尔德,P.R.J。;J.V.塔克。 7 1982 有限算法程序和计算理论。 Zbl 0419.68078号 莫尔德斯塔德,J。;斯托尔滕贝格·汉森,V。;J.V.塔克。 6 1980 有理复数的基本代数规范。 Zbl 1132.68485号 Jan A.Bergstra。;约翰·V·塔克。 6 2006 霍尔的逻辑和皮亚诺的算术。 Zbl 0497.68007号 J.A.伯格斯特拉。;J.V.塔克。 6 1983 微处理器体系结构和组织的代数模型。 Zbl 0855.68064号 北卡罗来纳州哈曼。;J.V.塔克。 5 1996 关于通过方程和条件方程指定有限数据类型的界限。 Zbl 0421.68020号 J.A.伯格斯特拉。;J.V.塔克。 5 1980 预言和建议作为衡量标准。 Zbl 1166.68318号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·V·塔克。 5 2008 部分函数的域表示,应用于空间对象和构造体几何。 Zbl 1042.68108号 J·布兰克。;斯托尔滕贝格·汉森,V。;J.V.塔克。 5 2002 物理测量的三种形式及其可计算性。 Zbl 1347.68128号 埃德温·贝格斯;JoséFélix科斯塔;约翰·V·塔克。 5 2014 规范的细化和霍尔逻辑的稳定性。 兹比尔0504.68019 J.A.伯格斯特拉。;J.V.塔克。 5 1982 关于霍尔逻辑完备性的两个定理。 Zbl 0541.68008号 J.A.伯格斯特拉。;J.V.塔克。 5 1982 连续和离散时间流上算子的连续性。 Zbl 1251.68141号 J.V.塔克。;朱克,J.I。 5 2011 衡量阈值的预言家:图灵机器和打破的平衡。 Zbl 1286.68128号 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 5 2013 关于作为神谕的阈值测量的威力。 Zbl 1381.68078号 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 5 2013 使用同步并发算法理论统一计算机和动态系统。 Zbl 1192.68843号 汤普森,B.C。;J.V.塔克。;朱克,J.I。 5 2009 抽象可计算性与具体可计算性:可数代数的情况。 Zbl 1116.03037号 J.V.塔克。;朱克,J.I。 4 2006 同步系统的并发分配表示。 Zbl 0665.68022号 A.R.马丁。;J.V.塔克。 4 1989 代数系统中的计算。 Zbl 0415.03035号 J.V.塔克。 4 1980 可计算数据类型的等式规范:六个隐藏函数足够和其他充分性边界。 Zbl 0418.68019号 J.A.伯格斯特拉。;J.V.塔克。 4 1979 一种自然数据类型,具有有限的等式最终语义规范,但没有有效的等式初始语义规范。 Zbl 0421.68021号 J.A.伯格斯特拉。;J.V.塔克。 4 1980 心脏组织的分级重建。 Zbl 1013.92012年 M.J.普尔。;A.V.霍尔顿。;J.V.塔克。 4 2002 合计字段中的分区安全计算。 Zbl 1162.68479号 J.A.伯格斯特拉。;J.V.塔克。 4 2008 类似数字教会培训论文。 Zbl 1361.68082号 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 4 2014 实数和复数的半可计算集的示例。 Zbl 1434.03119号 J.V.塔克。;朱克,J.I。 4 1992 多元逻辑及其应用。 Zbl 0781.03003号 4 1993 代数指定的编程系统和霍尔逻辑。 Zbl 0465.68003号 J.A.伯格斯特拉。;J.V.塔克。 4 1981 抽象结构上的可证明可计算选择函数。 Zbl 0805.03034号 J.V.塔克。;朱克,J.I。 三 1992 耦合CML和多层神经计算系统的同步。 Zbl 0815.68129号 A.V.霍尔顿。;M.J.普尔。;J.V.塔克。;张,H。 三 1994 重建心脏。 兹比尔0925.92059 A.V.霍尔顿。;M.J.普尔。;J.V.塔克。 三 1995 微处理器的代数模型:简单计算机的正确性和验证。 Zbl 0886.68003号 北卡罗来纳州哈曼。;J.V.塔克。 三 1997 代数编程系统的操作结构。 Zbl 0437.68011号 阿斯维尔德,P.R.J。;J.V.塔克。 三 1980 堆栈代数的数据类型变化。 Zbl 0821.68082号 J.A.伯格斯特拉。;J.V.塔克。 三 1995 抽象可计算性和代数规范。 兹比尔1365.68333 J.V.塔克。;朱克,J.I。 三 2002 度量代数上模拟计算的网络模型。 Zbl 1115.68084号 约翰·V·塔克。;杰弗里·扎克。 三 2005 作为抽象数据类型的有理数轮子。 兹布尔07451531 Jan A.Bergstra。;约翰·V·塔克。 三 2021 Hoare针对具有两种数据类型的编程语言的逻辑。 Zbl 0522.68012号 J.A.伯格斯特拉。;J.V.塔克。 三 1984 基于霍尔逻辑的程序公理语义。 Zbl 0551.68016号 J.A.伯格斯特拉。;J.V.塔克。 三 1984 抽象数据类型上的确定性和非确定性计算以及Horn程序。 Zbl 0768.68094号 J.V.塔克。;朱克,J.I。 三 1992 连续和离散时间流上运算符的可计算性。 Zbl 1358.68105号 J·V·塔克;J.I·祖克 三 2014 基于对oracle调用计数的BPP//log\(\star\)层次结构。 Zbl 1396.68049号 埃德温·贝格斯;佩德罗·科尔特斯;JoséFélix科斯塔;约翰·V·塔克。 三 2017 计算障碍的逻辑方法。2006年6月30日至7月5日,在英国斯旺西举行的2006年欧洲可计算性第二次会议。诉讼程序。 Zbl 1102.68002号 2 2006 流代数的无限初始代数规范。 Zbl 1017.08003号 J.V.塔克。;朱克,J.I。 2 2002 霍尔的逻辑和皮亚诺的算术。 Zbl 0455.68019号 J.A.伯格斯特拉。;J.V.塔克。 2 1981 关于霍尔逻辑完备性的两个定理。 Zbl 0455.68020号 J.A.伯格斯特拉。;J.V.塔克。 2 1981 抽象结构上的Horn程序和半计算关系。 Zbl 0686.68045号 J.V.塔克。;朱克,J.I。 2 1989 霍尔逻辑的表达性和完整性。 Zbl 0437.68009号 J.A.伯格斯特拉。;J.V.塔克。 2 1980 代数指定的编程系统和霍尔逻辑。 Zbl 0441.68025号 J.A.伯格斯特拉。;J.V.塔克。 2 1980 有限算法程序和归纳可定义性。 Zbl 0448.03037号 莫尔德斯塔德,J。;斯托尔滕贝格·汉森,V。;J.V.塔克。 2 1980 通过域表示在拓扑空间上的可计算性。 兹比尔1149.03035 斯托尔滕贝格-汉森,维戈;约翰·V·塔克。 2 2008 牛顿运动机器的编程实验程序。 Zbl 1143.68015号 E.J.贝格斯。;J.V.塔克。 2 2008 代数系统中的计算。 Zbl 0463.03026号 J.V.塔克。 2 1980 霍尔逻辑的表征问题。由P.Aczel、J.V.Tucker和J.C.Shepherdson进行讨论。 Zbl 0598.68035号 E.M.jun Clarke。 2 1984 使用测量消失量的预言进行计算。 Zbl 1382.68065号 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 2 2017 关于抽象数据类型的计算和规范的一般理论。 Zbl 0755.68106号 J.V.塔克。;朱克,J.I。 2 1991 数字系统规范的一致改进。 Zbl 0794.68101号 北卡罗来纳州哈曼。;J.V.塔克。 2 1992 可计算性和场代数:一些仿射结构。 Zbl 0481.03020号 J.V.塔克。 2 1980 同步并发计算的范围和限制。 Zbl 0669.68009号 Meinke,K。;J.V.塔克。 1 1988 正确性理论和程序等价性。 Zbl 0418.68016号 J.A.伯格斯特拉。;Tiuryn,J。;J.V.塔克。 1 1979 代数数字领域的While-programs即使相对不完整,也没有一个好的声音,就像Hoare逻辑一样。(预打印)。 Zbl 0425.68023号 J.A.伯格斯特拉。;J.V.塔克。 1 1980 数据类型规范的初始和最终代数语义:两个特征定理。(预打印)。 Zbl 0431.68021号 J.A.伯格斯特拉。;J.V.塔克。 1 1980 求有理数算术的等式。 Zbl 07713583号 Jan A.Bergstra。;约翰·V·塔克。 1 2023 软件工程的形式化方法。语言,方法,应用领域。曼弗雷德·布罗伊(Manfred Broy)的前言和约翰·塔克(John V.Tucker)对形式方法的起源和发展的贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德 1 2022 作为抽象数据类型的有理数轮子。 Zbl 07415131号 Jan A.Bergstra。;约翰·V·塔克。 三 2021 基于对oracle调用计数的BPP//log\(\star\)层次结构。 Zbl 1396.68049号 埃德温·贝格斯;佩德罗·科尔特斯;JoséFélix科斯塔;约翰·V·塔克。 三 2017 用神谕计算,测量正在消失的数量。 兹比尔1382.68065 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 2 2017 物理测量的三种形式及其可计算性。 Zbl 1347.68128号 埃德温·贝格斯;JoséFélix科斯塔;约翰·V·塔克。 5 2014 类似数字教会培训论文。 Zbl 1361.68082号 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 4 2014 连续和离散时间流上运算符的可计算性。 Zbl 1358.68105号 J·V·塔克;J.I·祖克 三 2014 衡量阈值的预言家:图灵机器和打破的平衡。 Zbl 1286.68128号 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 5 2013 关于作为神谕的阈值测量的威力。 兹比尔1381.68078 埃德温·贝格斯;JoséFélix科斯塔;迪奥戈·波萨;约翰·V·塔克。 5 2013 将物理实验公理化为算法的预言。 Zbl 1334.68063号 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 10 2012 物理预言模型对计算能力的影响。 Zbl 1253.68123号 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 7 2012 连续和离散时间流上算子的连续性。 Zbl 1251.68141号 J.V.塔克。;朱克,J.I。 5 2011 有效部分代数表示的稳定性。 Zbl 1222.03048号 詹斯·布兰克;维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 1 2011 由算法控制的实验中测量的限制。 Zbl 1216.03028号 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 9 2010 物理神谕:图灵机器和惠斯通桥。 Zbl 1233.03018号 埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 8 2010 草甸和等式划分规范。 Zbl 1172.68039号 J.A.伯格斯特拉。;Y.Hirshfeld。;J.V.塔克。 16 2009 以实验为预言的计算复杂性。二、。上限。 Zbl 1186.68194号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;J.V.塔克。 9 2009 通过牛顿和相对论运动学系统进行计算。 1400.70002兹罗提 E.J.贝格斯。;J.V.塔克。 8 2009 使用同步并发算法理论将计算机和动力系统统一起来。 兹比尔1192.68843 汤普森,B.C。;J.V.塔克。;朱克,J.I。 5 2009 以实验为预言的计算复杂性。 Zbl 1152.68444号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·V·塔克。 16 2008 关于经典物理学中测量的复杂性。 Zbl 1140.68022号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·塔克 7 2008 预言和建议作为衡量标准。 Zbl 1166.68318号 埃德温·贝格斯;JoséFélix科斯塔;布鲁诺·洛夫;约翰·V·塔克。 5 2008 总字段中的分区安全计算。 Zbl 1162.68479号 J.A.伯格斯特拉。;J.V.塔克。 4 2008 通过域表示在拓扑空间上的可计算性。 Zbl 1149.03035号 维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 2 2008 牛顿运动机器的编程实验程序。 Zbl 1143.68015号 E.J.贝格斯。;J.V.塔克。 2 2008 字段、草地和抽象数据类型。 Zbl 1134.68034号 伯格斯特拉(Jan Bergstra);约拉姆·赫什菲尔德;约翰·塔克 1 2008 有理数作为抽象数据类型。 Zbl 1292.68105号 Jan A.Bergstra。;J.V.塔克。 19 2007 牛顿机器实数的实验计算。 Zbl 1130.68051号 E.J.贝格斯。;J.V.塔克。 19 2007 在空间、时间、质量和能量有界的牛顿系统能计算所有函数吗? Zbl 1108.68050号 埃德温·贝格斯。;约翰·V·塔克。 16 2007 模拟网络的可计算性。 Zbl 1110.68046号 约翰·V·塔克。;杰弗里·扎克。 10 2007 在牛顿运动学中嵌入无限并行计算。 Zbl 1101.68573号 E.J.贝格斯。;J.V.塔克。 16 2006 有理复数的基本代数规范。 兹比尔1132.68485 Jan A.Bergstra。;约翰·V·塔克。 6 2006 抽象可计算性与具体可计算性:可数代数的情况。 Zbl 1116.03037号 J.V.塔克。;朱克,J.I。 4 2006 计算障碍的逻辑方法。2006年6月30日至7月5日,在英国斯旺西举行的2006年欧洲可计算性第二次会议。诉讼程序。 Zbl 1102.68002号 2 2006 度量代数、通用代数规范和动力系统上的可计算总函数。 Zbl 1085.68094号 J.V.塔克。;朱克,J.I。 11 2005 度量代数上模拟计算的网络模型。 Zbl 1115.68084号 约翰·V·塔克。;杰弗里·扎克。 三 2005 度量部分代数上的抽象与具体计算。 Zbl 1367.68102号 J.V.塔克。;朱克,J.I。 25 2004 度量部分代数上的可计算和连续部分同态。 Zbl 1058.03070号 斯托尔滕贝格-汉森,维戈;约翰·V·塔克。 9 2003 部分函数的域表示,应用于空间对象和构造体几何。 Zbl 1042.68108号 J·布兰克。;斯托尔滕贝格·汉森,V。;J.V.塔克。 5 2002 心脏组织的分级重建。 Zbl 1013.92012年 M.J.普尔。;A.V.霍尔顿。;J.V.塔克。 4 2002 抽象可计算性和代数规范。 兹比尔1365.68333 J.V.塔克。;朱克,J.I。 三 2002 流代数的无限初始代数规范。 Zbl 1017.08003号 J.V.塔克。;朱克,J.I。 2 2002 可计算的环和字段。 Zbl 0944.03040号 斯托尔滕贝格·汉森,V。;J.V.塔克。 30 1999 拓扑代数计算的具体模型。 Zbl 0916.68047号 维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 17 1999 拓扑部分代数上的While程序计算。 Zbl 0916.68046号 J.V.塔克。;朱克,J.I。 12 1999 微处理器的代数模型:简单计算机的正确性和验证。 Zbl 0886.68003号 北卡罗来纳州哈曼。;J.V.塔克。 三 1997 哺乳动物心脏的算法模型:传播、脆弱性、重返和颤动。 2008年8月77日 A.V.霍尔顿。;M.J.普尔。;J.V.塔克。 8 1996 微处理器体系结构和组织的代数模型。 兹比尔0855.68064 北卡罗来纳州Harman。;J.V.塔克。 5 1996 等式规范,完整项重写系统,可计算和半可计算代数。 Zbl 0885.68092号 J.A.伯格斯特拉。;J.V.塔克。 12 1995 流代数上的可计算函数。 Zbl 0831.08001号 J.V.塔克。;朱克,J.I。 12 1995 重建心脏。 Zbl 0925.92059号 A.V.霍尔顿。;M.J.普尔。;J.V.塔克。 三 1995 堆栈代数的数据类型变化。 Zbl 0821.68082号 J.A.伯格斯特拉。;J.V.塔克。 三 1995 耦合CML和多层神经计算系统的同步。 Zbl 0815.68129号 A.V.霍尔顿。;M.J.普尔。;J.V.塔克。;张,H。 三 1994 多元逻辑及其应用。 Zbl 0781.03003号 4 1993 耦合映射格作为计算系统。 兹比尔1055.68544 A.V.霍尔顿。;J.V.塔克。;张,H。;M.J.普尔。 14 1992 实数和复数的半可计算集的示例。 Zbl 1434.03119号 J.V.塔克。;朱克,J.I。 4 1992 抽象结构上的可证明可计算选择函数。 Zbl 0805.03034号 J.V.塔克。;朱克,J.I。 三 1992 抽象数据类型上的确定性和非确定性计算以及Horn程序。 Zbl 0768.68094号 J.V.塔克。;朱克,J.I。 三 1992 数字系统规范的一致完善。 Zbl 0794.68101号 北卡罗来纳州哈曼。;J.V.塔克。 2 1992 流代数上的计算理论及其应用。 Zbl 1493.68142号 J.V.塔克。;朱克,J.I。 1 1992 代数逆极限上的代数方程和不动点方程。 Zbl 0788.68093号 维戈·斯托尔滕贝格·汉森;J.V.塔克。 16 1991 关于抽象数据类型的计算和规范的一般理论。 Zbl 0755.68106号 J.V.塔克。;朱克,J.I。 2 1991 抽象数据类型上半计算关系的投影。 Zbl 0746.68063号 J.V.塔克。;朱克,J.I。 1 1991 超大规模集成电路设计的理论基础。 Zbl 0802.68069号 7 1990 抽象数据类型上的可证明计算函数。 Zbl 0765.68149号 J.V.塔克。;韦纳,S.S。;朱克,J.I。 1 1990 同步系统的并发分配表示。 Zbl 0665.68022号 A.R.马丁。;J.V.塔克。 4 1989 抽象结构上的Horn程序和半计算关系。 Zbl 0686.68045号 J.V.塔克。;朱克,J.I。 2 1989 抽象数据类型上的程序正确性,具有错误状态语义。 兹伯利0641.68028 J.V.塔克。;朱克,J.I。 29 1988 作为域完成局部环。 Zbl 0662.0304号 斯托尔滕贝格·汉森,V。;J.V.塔克。 22 1988 同步并发计算的范围和限制。 Zbl 0669.68009号 Meinke,K。;J.V.塔克。 1 1988 可计算和半可计算数据类型的代数规范。 Zbl 0637.68013号 J.A.伯格斯特拉。;J.V.塔克。 35 1987 同步系统的并发分配表示。 Zbl 0615.68028号 A.R.马丁。;J.V.塔克。 1 1987 自顶向下设计和通信过程代数。 Zbl 0606.68021号 J.A.伯格斯特拉。;J.V.塔克。 8 1985 具有异步通信机制的进程代数。 Zbl 0579.68015号 J.A.伯格斯特拉。;Klop,J.W。;J.V.塔克。 7 1985 霍尔逻辑,用于对具有两种数据类型的语言进行编程。 Zbl 0522.68012号 J.A.伯格斯特拉。;J.V.塔克。 三 1984 基于霍尔逻辑的程序公理语义。 Zbl 0551.68016号 J.A.伯格斯特拉。;J.V.塔克。 三 1984 霍尔逻辑的表征问题。由P.Aczel、J.V.Tucker和J.C.Shepherdson进行讨论。 Zbl 0598.68035号 E.M.jun Clarke。 2 1984 系统构建的代数工具。 Zbl 0542.68016号 J.A.伯格斯特拉。;Klop,J.W。;J.V.塔克。 1 1984 数据类型规范的初始和最终代数语义:两个特征定理。 Zbl 0515.68016号 J.A.伯格斯特拉。;J.V.塔克。 24 1983 霍尔的逻辑和皮亚诺的算术。 Zbl 0497.68007号 J.A.伯格斯特拉。;J.V.塔克。 6 1983 霍尔逻辑的表达性和完整性。 Zbl 0549.68021号 J.A.伯格斯特拉。;J.V.塔克。 18 1982 可计算数据类型的代数规范方法的完整性。 Zbl 0513.68017号 J.A.伯格斯特拉。;J.V.塔克。 13 1982 弗洛伊德原理、正确性理论和程序等价。 Zbl 0474.68017号 J.A.伯格斯特拉。;Tiuryn,J。;J.V.塔克。 9 1982 一些自然结构在其while-programs中没有一个合理且可判定的Hoare-like逻辑。 Zbl 0483.68033号 J.A.伯格斯特拉。;J.V.塔克。 8 1982 复杂性理论和代数编程系统的操作结构。 Zbl 0489.68005号 阿斯维尔德,P.R.J。;J.V.塔克。 7 1982 规范的细化和霍尔逻辑的稳定性。 Zbl 0504.68019号 J.A.伯格斯特拉。;J.V.塔克。 5 1982 关于霍尔逻辑完备性的两个定理。 Zbl 0541.68008号 J.A.伯格斯特拉。;J.V.塔克。 5 1982 关于代数规格说明的威力。 Zbl 0462.68001号 J.A.伯格斯特拉。;布罗伊,M。;J.V.塔克。;Wirsing,M。 15 1981 代数指定的编程系统和霍尔逻辑。 Zbl 0465.68003号 J.A.伯格斯特拉。;J.V.塔克。 4 1981 霍尔的逻辑和皮亚诺的算术。 Zbl 0455.68019号 J.A.伯格斯特拉。;J.V.塔克。 2 1981 关于霍尔逻辑完备性的两个定理。 兹比尔0455.68020 J.A.伯格斯特拉。;J.V.塔克。 2 1981 通过有限方程规范方法描述可计算数据类型。 Zbl 0449.68003号 J.A.伯格斯特拉。;J.V.塔克。 27 1980 有限算法过程和计算理论。 Zbl 0419.68078号 莫尔德斯塔德,J。;斯托尔滕贝格·汉森,V。;J.V.塔克。 6 1980 通过方程和条件方程指定有限数据类型的界限。 Zbl 0421.68020号 J.A.伯格斯特拉。;J.V.塔克。 5 1980 代数系统中的计算。 Zbl 0415.03035号 J.V.塔克。 4 1980 一种自然数据类型,具有有限的等式最终语义规范,但没有有效的等式初始语义规范。 Zbl 0421.68021号 J.A.伯格斯特拉。;J.V.塔克。 4 1980 代数编程系统的操作结构。 Zbl 0437.68011号 阿斯维尔德,P.R.J。;J.V.塔克。 三 1980 霍尔逻辑的表达性和完整性。 Zbl 0437.68009号 J.A.伯格斯特拉。;J.V.塔克。 2 1980 代数指定的编程系统和霍尔逻辑。 Zbl 0441.68025号 J.A.伯格斯特拉。;J.V.塔克。 2 1980 …还有11个文档 所有引用出版物 排名前五的出版物 全部的 前5名292位作者引用 52 约翰·V·塔克。 42 Jan A.Bergstra。 18 埃德温·贝格斯。 15 JoséFélix科斯塔 14 杰弗里·扎克。 11 阿伦·霍尔顿(Arun V.Holden)。 10 何塞·梅塞盖尔·瓜伊塔 9 科内利斯·A·米德尔堡。 8 詹斯·布兰克 8 德波尔(Frank S。 8 维戈·斯托尔滕贝格·汉森 7 卡西莫夫,纳迪穆拉·哈比卜拉耶维奇 7 阿尔班·蓬塞 6 Jos C.M.Baeten。 6 马丁·威尔辛 5 Bakhadyr M.库萨诺夫。 5 扬·威廉·克鲁普 5 马丁·奥列特,纳西索 5 卡尔·梅恩克 5 罗素·米勒。 5 斯普林,迪特 5 马丁·齐格勒 4 英格·贝斯克 4 曼弗雷德·布罗伊 4 纳鸿·德肖维茨 4 阿巴斯·埃达拉特 4 布鲁诺·洛夫 4 迪奥戈·波萨 4 M.J.普尔。 4 彼得·罗登堡。 三 美国,皮埃尔 三 克里斯·J·科尼迪斯。 三 库珀、斯图亚特·巴里 三 达达扎诺夫(Ruzmat Normatovich Dadazhanov) 三 弗朗西斯科·杜兰 三 史蒂文·艾克 三 约斯特·恩格尔弗里特 三 所罗门·费弗曼 三 北卡罗来纳州哈曼。 三 圣埃芬·卡普兰 三 斯泰芬·伦普 三 伯恩德·马赫 三 约瑟夫·米莱蒂(Joseph R.Mileti)。 三 奥尔德罗格(Ernst-Rüdiger Olderog) 三 马里奥·罗德里格斯-阿塔莱霍 三 隋、岳飞 三 张恒贵 2 马哈穆杜尔·费萨尔·阿梅恩 2 Krzysztof Rafal公寓 2 悉达哈·巴斯卡 2 瓦迪姆·N·比克塔舍夫。 2 奥利维尔·伯内兹 2 瓦斯科·布拉特卡 2 曼努埃尔·克拉维尔 2 拉兹万·迪亚科内斯库 2 Gilles Dowek 2 罗德尼·格雷厄姆·唐尼 2 哈特穆特·埃里格 2 傅明全 2 塔尼娅·格拉巴 2 海林,简 2 阿明·海默林 2 丹尼斯·罗曼·赫施费尔特 2 霍塔拉·冈萨雷斯,玛丽亚·特蕾莎 2 伊布拉基莫夫,F.N。 2 帕特里克·D·林肯。 2 约翰·安德烈亚斯·马考斯基 2 约翰·朱尔斯·查尔斯·梅耶 2 费尔南多·奥雷贾斯 2 埃里克·帕尔姆格伦 2 格里高·罗什乌 2 马蒂亚斯·施罗德 2 维克托·勒沃维奇·塞利瓦诺夫 2 Svetlana V.塞利瓦诺娃。 2 亚历山德拉·施拉彭托克 2 英格尔·西格斯塔姆 2 孙树明 2 菲利普·苏恩德豪夫 2 安德烈·塔莱基 2 Makoto Tatsuta 2 索罗·图利帕尼 2 克劳斯·维赫劳赫 2 徐兆伟 2 张文辉 2 钟,宁 1 帕罗什·阿齐兹·阿卜杜拉 1 艾丽卡·阿尔布拉汉姆 1 萨姆森·艾布拉姆斯基 1 萨尔瓦多阿布雷乌 1 卢卡·埃特罗 1 Andrew I.Adamatzky。 1 阿哈普尔,索迪夫 1 贝扎德·阿克巴普尔 1 阿尔·胡迈迈迪,阿贝尔·S。 1 格里戈里斯·安东尼奥 1 巴勃罗·阿里吉 1 奥列格五世·阿斯拉尼迪。 1 彼得·阿斯维尔德(Peter R.J.Asveld)。 1 利奥·巴赫迈尔 1 克里斯特尔·拜尔 …还有192位作者 全部的 前5名69篇连载文章中引用 72 理论计算机科学 13 逻辑与代数程序设计杂志 12 计算的形式方面 11 MSCS公司。计算机科学中的数学结构 9 信息学报 9 混沌、孤子和分形 9 纯逻辑与应用逻辑年鉴 9 程序设计中的逻辑和代数方法杂志 8 应用数学与计算 7 计算机与系统科学杂志 7 信息与计算 6 符号逻辑公报 5 美国数学学会会刊 5 国际应用科学与工程分叉与混沌杂志 5 计算系统理论 4 符号逻辑杂志 4 自然计算 4 应用逻辑杂志 三 代数与逻辑 三 西伯利亚数学杂志 三 国际计算机科学基础杂志 三 伦敦皇家学会会刊。系列A.数学、物理和工程科学 2 国际理论物理杂志 2 信息处理信件 2 代数杂志 2 圣母院形式逻辑杂志 2 合成 2 物理D 2 符号计算杂志 2 数学逻辑档案 2 数学科学杂志(纽约) 2 《数理逻辑季刊》 2 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 离散数学 1 国际系统科学杂志 1 富兰克林研究所期刊 1 数学笔记 1 数学进展 1 代数普遍性 1 模糊集与系统 1 信息科学 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 苏联数学杂志 1 数学系统理论 1 RAIRO,Informatique Théorique公司 1 Studia Logica公司 1 应用数学进展 1 自动推理杂志 1 国际近似推理杂志 1 国际代数与计算杂志 1 国际计算机数学杂志 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 俄罗斯数学 1 系统设计中的形式化方法 1 应用的分类结构 1 Doklady数学 1 混乱 1 计算机基础理论 1 计算数学基础 1 ACM计算逻辑事务 1 Oberwolfach报告 1 计算机科学中的逻辑方法 1 符号逻辑述评 1 计算机科学前沿 1 俄罗斯非线性动力学杂志 全部的 前5名在31个字段中引用 228 计算机科学(68-XX) 122 数学逻辑和基础(03-XX) 15 一般代数系统(08-XX) 14 生物学和其他自然科学(92-XX) 13 动力系统和遍历理论(37至XX) 8 总体主题;集合(00-XX) 8 一般拓扑结构(54至XX) 8 粒子和系统力学(70-XX) 7 交换代数(13-XX) 5 范畴理论;同调代数(18-XX) 5 群论与推广(20-XX) 5 量子理论(81-XX) 4 阶、格、有序代数结构(06-XX) 4 偏微分方程(35-XX) 4 系统论;控制(93至XX) 三 历史和传记(01-XX) 三 场论和多项式(12-XX) 三 结合环与代数(16-XX) 2 常微分方程(34-XX) 2 数值分析(65-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 实函数(26年X月X日) 1 测量和集成(28-XX) 1 特殊功能(33至XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 光学、电磁理论(78-XX) 1 统计力学,物质结构(82-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文