×
作者ID: 塔克.john-v最近由“Tucker,John V.”撰写的zbMATH文章
发布日期: J.V.塔克。;约翰·V·塔克。;约翰·塔克;J·V·塔克

按年份列出的出版物

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 俄罗斯非线性动力学杂志

按年份列出的引文