×

兹马思-数学第一资源

卡德利,卢卡

计算距离:
作者ID: 卡德利。卢卡“Cardelli,Luca”最近发表的ZMath文章
发布为: 卡德利,卢卡;卡德利,L。
编制索引的文档: 90种出版物自1980年以来,包括5本书

按年份列出的出版物

zbMATH公开赛中包含的引文

74出版物有被引用1125年时间726份文件 引用人
移动环境。 Zbl 0954.68108
卡德利,L。;戈登,公元前。
170
2000
生物环境:对生物区的抽象。 Zbl 1069.68569
雷格夫,阿维夫;帕尼娜,叶卡捷琳娜M。;西尔弗曼,威廉;卡德利,卢卡;夏皮罗,埃胡德
100
2004
显式替换。 Zbl 0941.68542
阿巴迪,马丁;卡德利,卢卡;库林,P.-L。;维,J。
89
1991
膜结石。生物膜的相互作用。 Zbl 1088.68657
卡德利,卢卡
86
2005
物体理论。 Zbl 0876.68014
阿巴迪,马丁;卡德利,卢卡
63
1996
随时随地:移动环境的模态逻辑。 Zbl 1323.68405
卡德利,卢卡;戈登,安德鲁D。
53
2000
多重继承的语义。 Zbl 0651.68017
卡德利,卢卡
37
1988
并发的空间逻辑。一。 Zbl 1068.03022
凯尔斯,卢伊斯;卡德利,卢卡
36
2003
进程速率语义。 Zbl 1133.68054
卡德利,卢卡
34
2008
带有子类型的系统\(F\)的扩展。 Zbl 0805.03008
卡德利,卢卡;马提尼,西蒙尼;米切尔,约翰·C。;斯凯德罗夫,安德烈
23
1994
移动环境的方程性质。 Zbl 1085.68099
戈登,安德鲁D。;卡德利,卢卡
21
2003
基因网络随机动力学的合成方法。 Zbl 1179.92021
女衬衫,拉尔夫;卡德利,卢卡;菲利普斯,安德鲁
17
2006
环境群体和流动类型。 Zbl 0998.68536
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
15
2000
移动环境。2001年精装版再版。 Zbl 1253.68238
卡德利,卢卡;戈登,安德鲁D。
15
2010
记录操作。 Zbl 0727.68020
卡德利,卢卡;米切尔,约翰·C。
14
1991
探索的语义基础。 Zbl 0941.68528
卡德利,卢卡;隆戈,朱塞佩
14
1991
一种基于环境逻辑的查询语言。 Zbl 0977.68028
卡德利,卢卡;盖利,乔治
13
2001
基于mate/drip运算的(膜)膜微积分的一个普适性结果。 Zbl 1088.68055
卡德利,卢卡;Păun,盖尔赫
13
2006
并发的空间逻辑。一。 Zbl 1087.03507
凯尔斯,卢伊斯;卡德利,卢卡
12
2001
贪婪的正则表达式匹配。 Zbl 1099.68769
弗里希,阿兰;卡德利,卢卡
12
2004
化学反应网络的正反向互模拟。 6813ZB74
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
12
2015
DNA计算的链代数。 Zbl 1221.68164
卡德利,卢卡
11
2011
双区DNA链置换。 兹布1271.68105
卡德利,卢卡
11
2013
环境微积分的类型。 Zbl 1093.68060
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
11
2002
多态语言中的动态类型。 Zbl 0819.68142
阿巴迪,马丁;卡德利,卢卡;皮尔斯,B。;雷米,D。
11
1995
并发的空间逻辑。二。 Zbl 1012.68122号
凯尔斯,卢伊斯;卡德利,卢卡
11
2002
名称限制的逻辑属性。 Zbl 0981.68036
卡德利,卢卡;戈登,安德鲁D。
11
2001
生物化学的计算能力。 Zbl 1171.92318号
卡德利,卢卡;扎瓦塔罗,詹路易吉
11
2008
系统生物学的抽象机器。 Zbl 1151.92307
卡德利,卢卡
11
2005
化学动力学中的终止问题。 Zbl 1160.68478号
扎瓦塔罗,詹路易吉;卡德利,卢卡
10
2008
用于查询图形的空间逻辑。 Zbl 1057.68606
卡德利,卢卡;加德纳,菲利帕;盖利,乔治
9
2002
树的空间逻辑有效性判定。 Zbl 1083.68021
卡尔卡诺,克里斯蒂亚诺;卡德利,卢卡;戈登,安德鲁D。
9
2005
形式参数多态性。 Zbl 0801.68015
阿巴迪,马丁;卡德利,卢卡;库林,P.-L。
9
1993
多重继承的语义。 Zbl 0543.68011
卡德利,卢卡
9
1984
DNA计算的链代数。 Zbl 1273.68113
卡德利,卢卡
8
2009
操作带有隐藏标签的树。 Zbl 1029.68092
卡德利,卢卡;加德纳,菲利帕;盖利,乔治
8
2003
保密和组创建。 Zbl 0999.68148
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
8
2000
空间过程。 Zbl 1286.68345
卡德利,卢卡;加德纳,菲利帕
8
2010
TQL:一种基于环境逻辑的半结构化数据查询语言。 Zbl 1085.68035
卡德利,卢卡;盖利,乔治
7
2004
并发的空间逻辑。二。 Zbl 1050.68104
凯尔斯,卢伊斯;卡德利,卢卡
7
2004
比较对象编码。 Zbl 1045.68528号
布鲁斯,金B。;卡德利,卢卡;皮尔斯,本杰明·C。
7
1999
微分等价的符号计算。 Zbl 1347.68258号
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
7
2016
原始物体理论-无类型和一阶系统。 Zbl 0942.03523
阿巴迪,马丁;卡德利,卢卡
6
1994
双基膜系统:生物膜的相互作用。 Zbl 1151.68013
卡德利,卢卡
6
2008
连续马尔科夫逻辑-公理化和量化元理论。 Zbl 1261.03088
马尔代尔,拉杜;卡德利,卢卡;拉森,金G。
5
2012
现代并发抽象(C^{\sharp}\)。 Zbl 1049.68754
本顿,尼克;卡德利,卢卡;福奈特,塞德里克
4
2002
纯子类型演算中的可扩展记录。 邮政编码:0837.68059
卡德利,卢卡
4
1994
基本多态类型检查。 Zbl 0626.68009
卡德利,卢卡
4
1987
比较化学反应网络:范畴和算法的观点。 Zbl 1392.68188
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
4
2016
连续马尔可夫逻辑——从完全公理化到公式的度量空间。 Zbl 1247.03030
卡德利,卢卡;拉森,金G。;马尔代尔,拉杜
4
2011
用线性噪声近似计算化学反应网络的概率可达性。 Zbl 1381.92110
博尔托鲁西,卢卡;卡德利,卢卡;奎亚特科夫斯卡,玛尔塔;劳伦蒂,卢卡
4
2016
类型检查依赖类型和子类型。 Zbl 0645.68028
卡德利,卢卡
1988
肌动蛋白聚合的过程模型。 Zbl 1283.92047
卡德利,卢卡;卡隆,艾曼纽;加德纳,菲利帕;奥赞,卡拉马诺乌拉尔;菲利普斯,安德鲁
2009
保密和组创建。 110ZB691.68升
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
2005
生物化学基础形式的图灵普适性。 Zbl 1191.68301
卡德利,卢卡;扎瓦塔罗,詹路易吉
2010
实时代理。 Zbl 0493.68017
卡德利,卢卡
2
1982
模块化马尔可夫逻辑。 Zbl 1333.68200元
卡德利,卢卡;拉森,金G。;马尔代尔,拉杜
2
2011
Rho-GTP结合蛋白的过程模型。 Zbl 1173.68040
卡德利,卢卡;卡隆,艾曼纽;加德纳,菲利帕;奥赞,卡拉马诺乌拉尔;菲利普斯,安德鲁
2
2009
吞噬过程中rho-GTP结合蛋白的过程模型。 Zbl 1279.68252
卡德利,卢卡;加德纳,菲利帕;奥赞,卡拉马诺乌拉尔
2
2008
随机过程的可测空间。 兹布1437.68129
卡德利,卢卡;马尔代尔,拉杜
2
2014
记录操作。 Zbl 0837.68069
卡德利,卢卡;米切尔,约翰·C。
2
1994
原始物体理论:无类型和一阶系统。 Zbl 0853.68115
阿巴迪,马丁;卡德利,卢卡
2
1996
用化学反应网络规划离散分布。 Zbl 1451.68108号
卡德利,卢卡;奎亚特科夫斯卡,玛尔塔;劳伦蒂,卢卡
2
2016
不确定性下的效率:随机混杂系统的可伸缩形式综合。 Zbl 07120160
考西,纳撒莉;劳伦蒂,卢卡;拉希贾尼安,莫特扎;阿伯特,亚历山德罗;奎亚特科夫斯卡,玛尔塔;卡德利,卢卡
2
2019
空间过程。 Zbl 1251.68153
卡德利,卢卡;加德纳,菲利帕
2
2012
再论随机pi演算。 Zbl 1405.68209
卡德利,卢卡;马尔代尔,拉杜
1
2013
机动性和安全性。 Zbl 0995.68004
卡德利,卢卡
1
2000
移动环境。(扩展摘要)。 Zbl 0925.68068
卡德利,卢卡;戈登,安德鲁D。
1
1997
大规模并发系统的可逆性。 Zbl 1424.92028号
卡德利,卢卡;拉尼芙,科西莫
1
2011
异步化学反应网络逻辑电路设计。 Zbl 1451.68109
卡德利,卢卡;奎亚特科夫斯卡,玛尔塔;惠特比,麦克斯
1
2016
模拟过程。 Zbl 0454.68038
卡德利,卢卡
1
1980
开关扩散的可达性计算,具有可证明和可调精度的有限抽象。 Zbl 1369.93728号
劳伦蒂,卢卡;阿伯特,亚历山德罗;博尔托鲁西,卢卡;卡德利,卢卡;塞斯卡,米兰;奎亚特科夫斯卡,玛尔塔
1
2017
比较化学反应网络:范畴和算法的观点。 Zbl 1423.68165
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
1
2019
化学反应网络的句法马尔可夫互模拟。 Zbl 1431.68072
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
1
2017
不确定性下的效率:随机混杂系统的可伸缩形式综合。 Zbl 07120160
考西,纳撒莉;劳伦蒂,卢卡;拉希贾尼安,莫特扎;阿伯特,亚历山德罗;奎亚特科夫斯卡,玛尔塔;卡德利,卢卡
2
2019
比较化学反应网络:范畴和算法的观点。 Zbl 1423.68165
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
1
2019
开关扩散的可达性计算,具有可证明和可调精度的有限抽象。 Zbl 1369.93728号
劳伦蒂,卢卡;阿伯特,亚历山德罗;博尔托鲁西,卢卡;卡德利,卢卡;塞斯卡,米兰;奎亚特科夫斯卡,玛尔塔
1
2017
化学反应网络的句法马尔可夫互模拟。 Zbl 1431.68072
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
1
2017
微分等价的符号计算。 Zbl 1347.68258号
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
7
2016
比较化学反应网络:范畴和算法的观点。 Zbl 1392.68188
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
4
2016
用线性噪声近似计算化学反应网络的概率可达性。 Zbl 1381.92110
博尔托鲁西,卢卡;卡德利,卢卡;玛尔克瓦塔;劳伦蒂,卢卡
4
2016
用化学反应网络规划离散分布。 Zbl 1451.68108号
卡德利,卢卡;奎亚特科夫斯卡,玛尔塔;劳伦蒂,卢卡
2
2016
异步逻辑电路的化学反应网络设计。 Zbl 1451.68109
卡德利,卢卡;奎亚特科夫斯卡,玛尔塔;惠特比,麦克斯
1
2016
化学反应网络的正反向互模拟。 Zbl 1374.68204
卡德利,卢卡;特里巴斯通,米尔科;柴可夫斯基,麦克斯;范丁,安德烈
12
2015
随机过程的可测空间。 兹布1437.68129
卡德利,卢卡;马尔代尔,拉杜
2
2014
双区DNA链置换。 兹布1271.68105
卡德利,卢卡
11
2013
再论随机pi演算。 Zbl 1405.68209
卡德利,卢卡;马尔代尔,拉杜
1
2013
连续马尔科夫逻辑-公理化和量化元理论。 Zbl 1261.03088
马尔代尔,拉杜;卡德利,卢卡;拉森,金G。
5
2012
空间过程。 Zbl 1251.68153
卡德利,卢卡;加德纳,菲利帕
2
2012
DNA计算的链代数。 Zbl 1221.68164
卡德利,卢卡
11
2011
连续马尔可夫逻辑——从完全公理化到公式的度量空间。 Zbl 1247.03030
卡德利,卢卡;拉森,金G。;马尔代尔,拉杜
4
2011
模块化马尔可夫逻辑。 Zbl 1333.68200元
卡德利,卢卡;拉森,金G。;马尔代尔,拉杜
2
2011
大规模并发系统的可逆性。 Zbl 1424.92028号
卡德利,卢卡;拉尼芙,科西莫
1
2011
移动环境。2001年精装版再版。 Zbl 1253.68238
卡德利,卢卡;戈登,安德鲁D。
15
2010
空间过程。 Zbl 1286.68345
卡德利,卢卡;加德纳,菲利帕
8
2010
生物化学基础形式的图灵普适性。 Zbl 1191.68301
卡德利,卢卡;扎瓦塔罗,詹路易吉
2010
DNA计算的链代数。 Zbl 1273.68113
卡德利,卢卡
8
2009
肌动蛋白聚合的过程模型。 Zbl 1283.92047
卡德利,卢卡;卡隆,艾曼纽;加德纳,菲利帕;奥赞,卡拉马诺乌拉尔;菲利普斯,安德鲁
2009
Rho-GTP结合蛋白的过程模型。 Zbl 1173.68040
卡德利,卢卡;卡隆,艾曼纽;加德纳,菲利帕;奥赞,卡拉马诺乌拉尔;菲利普斯,安德鲁
2
2009
进程速率语义。 Zbl 1133.68054
卡德利,卢卡
34
2008
生物化学的计算能力。 Zbl 1171.92318号
卡德利,卢卡;扎瓦塔罗,詹路易吉
11
2008
化学动力学中的终止问题。 Zbl 1160.68478号
扎瓦塔罗,詹路易吉;卡德利,卢卡
10
2008
双基膜系统:生物膜的相互作用。 Zbl 1151.68013
卡德利,卢卡
6
2008
吞噬过程中rho-GTP结合蛋白的过程模型。 Zbl 1279.68252
卡德利,卢卡;加德纳,菲利帕;奥赞,卡拉马诺乌拉尔
2
2008
基因网络随机动力学的合成方法。 Zbl 1179.92021
女衬衫,拉尔夫;卡德利,卢卡;菲利普斯,安德鲁
17
2006
基于mate/drip运算的(膜)膜微积分的一个普适性结果。 Zbl 1088.68055
卡德利,卢卡;Păun,盖尔赫
13
2006
膜结石。生物膜的相互作用。 Zbl 1088.68657
卡德利,卢卡
86
2005
系统生物学的抽象机器。 Zbl 1151.92307
卡德利,卢卡
11
2005
树的空间逻辑有效性判定。 Zbl 1083.68021
卡尔卡诺,克里斯蒂亚诺;卡德利,卢卡;戈登,安德鲁D。
9
2005
保密和组创建。 Zbl 1101.68692
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
2005
生物环境:对生物区的抽象。 Zbl 1069.68569
雷格夫,阿维夫;帕尼娜,叶卡捷琳娜M。;西尔弗曼,威廉;卡德利,卢卡;夏皮罗,埃胡德
100
2004
贪婪的正则表达式匹配。 Zbl 1099.68769
弗里希,阿兰;卡德利,卢卡
12
2004
TQL:一种基于环境逻辑的半结构化数据查询语言。 Zbl 1085.68035
卡德利,卢卡;盖利,乔治
7
2004
并发的空间逻辑。二。 Zbl 1050.68104
凯尔斯,卢伊斯;卡德利,卢卡
7
2004
并发的空间逻辑。一。 Zbl 1068.03022
凯尔斯,卢伊斯;卡德利,卢卡
36
2003
移动环境的方程性质。 Zbl 1085.68099
戈登,安德鲁D。;卡德利,卢卡
21
2003
操作带有隐藏标签的树。 Zbl 1029.68092
卡德利,卢卡;加德纳,菲利帕;盖利,乔治
8
2003
环境微积分的类型。 Zbl 1093.68060
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
11
2002
并发的空间逻辑。二。 Zbl 1012.68122号
凯尔斯,卢伊斯;卡德利,卢卡
11
2002
用于查询图形的空间逻辑。 Zbl 1057.68606
卡德利,卢卡;加德纳,菲利帕;盖利,乔治
9
2002
现代并发抽象(C^{\sharp}\)。 Zbl 1049.68754
本顿,尼克;卡德利,卢卡;福奈特,塞德里克
4
2002
一种基于环境逻辑的查询语言。 Zbl 0977.68028
卡德利,卢卡;盖利,乔治
13
2001
并发的空间逻辑。一。 Zbl 1087.03507
凯尔斯,卢伊斯;卡德利,卢卡
12
2001
名称限制的逻辑属性。 Zbl 0981.68036
卡德利,卢卡;戈登,安德鲁D。
11
2001
移动环境。 Zbl 0954.68108
卡德利,L。;戈登,公元前。
170
2000
随时随地:移动环境的模态逻辑。 Zbl 1323.68405
卡德利,卢卡;戈登,安德鲁D。
53
2000
环境群体和流动类型。 Zbl 0998.68536
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
15
2000
保密和组创建。 Zbl 0999.68148
卡德利,卢卡;盖利,乔治;戈登,安德鲁D。
8
2000
机动性和安全性。 Zbl 0995.68004
卡德利,卢卡
1
2000
比较对象编码。 Zbl 1045.68528号
布鲁斯,金B。;卡德利,卢卡;皮尔斯,本杰明·C。
7
1999
移动环境。(扩展)。 Zbl 0925.68068
卡德利,卢卡;戈登,安德鲁D。
1
1997
物体理论。 Zbl 0876.68014
阿巴迪,马丁;卡德利,卢卡
63
1996
原始物体理论:无类型和一阶系统。 Zbl 0853.68115
阿巴迪,马丁;卡德利,卢卡
2
1996
多态语言中的动态类型。 Zbl 0819.68142
阿巴迪,马丁;卡德利,卢卡;皮尔斯,B。;雷米,D。
11
1995
带有子类型的系统\(F\)的扩展。 Zbl 0805.03008
卡德利,卢卡;马提尼,西蒙尼;米切尔,约翰·C。;斯凯德罗夫,安德烈
23
1994
原始物体理论-无类型和一阶系统。 Zbl 0942.03523
阿巴迪,马丁;卡德利,卢卡
6
1994
纯子类型演算中的可扩展记录。 邮政编码:0837.68059
卡德利,卢卡
4
1994
记录操作。 Zbl 0837.68069
卡德利,卢卡;米切尔,约翰·C。
2
1994
形式参数多态性。 Zbl 0801.68015
阿巴迪,马丁;卡德利,卢卡;库林,P.-L。
9
1993
显式替换。 Zbl 0941.68542
阿巴迪,马丁;卡德利,卢卡;库林,P.-L。;莱维,J.-J。
89
1991
记录操作。 Zbl 0727.68020
卡德利,卢卡;米切尔,约翰·C。
14
1991
探索的语义基础。 Zbl 0941.68528
卡德利,卢卡;隆戈,朱塞佩
14
1991
多重继承的语义。 Zbl 0651.68017
卡德利,卢卡
37
1988
类型检查依赖类型和子类型。 Zbl 0645.68028
卡德利,卢卡
1988
基本多态类型检查。 Zbl 0626.68009
卡德利,卢卡
4
1987
多重继承的语义。 Zbl 0543.68011
卡德利,卢卡
9
1984
实时代理。 Zbl 0493.68017
卡德利,卢卡
2
1982
模拟过程。 Zbl 0454.68038
卡德利,卢卡
1
1980
全部的 前5名

被929位作者引用

26 卡德利,卢卡
16 乔巴努,加布里埃尔
14 米兰佐,保罗
12 博德,恰拉
11 Dezani Ciancaglini,马里安哥拉
11 加德纳,菲利帕·安妮
11 Maggiolo Schettini,安德里亚
10 布罗多,琳达
10 加杜奇,法比奥
10 盖利,乔治
9 巴布提,罗伯托
9 戈拉,丹妮尔
9 卡马雷丁,费尔鲁兹。
9 列维,弗朗西斯卡
9 尼尔森,弗莱明
9 菲利普斯,安德鲁
8 阿曼,博格丹
8 邦奇,菲利波
8 布鲁尼,罗伯托
8 加贝,默多克·詹姆斯
8 希尔斯顿,简
8 蒙塔纳里,乌戈·G。
8 普里亚米,科拉多
8 蕾丝·尼尔森,汉恩
7 戈登,安德鲁D。
7 戈里,罗伯塔
7 拉尼芙,科西莫
7 马尔代尔,拉杜
7 皮尔斯,本杰明·C。
7 普利斯,罗萨里奥
6 博尔托鲁西,卢卡
6 布格里西,米歇尔
6 布西,娜迪亚
6 卡斯塔格纳,朱塞佩
6 卡瓦尔坎蒂·德穆拉,弗洛维奥·莱昂纳多
6 德尼古拉,洛克
6 梅罗,马西莫
6 蒙瑞尔,贾科玛瓦伦蒂娜
6 帕迪尼,乔瓦尼
6 菲利普斯,法律。
6 温弗里,埃里克
6 吉田信子
6 扎瓦塔罗,詹路易吉
5 毛里西奥·阿亚拉·林克翁
5 凯尔斯,卢伊斯
5 卡瓦利埃,马特奥
5 康普格诺尼,阿德里安娜B。
5 丹诺斯,文森特
5 德尔扎诺,乔治
5 多蒂,大卫
5 达根,多米尼克
5 法拉利,吉安·路易吉
5 傅玉溪
5 加尔平,瓦什提
5 轩尼诗,马修·C·B。
5 凯斯纳,迪莉娅
5 拉森,金·古德斯兰德
5 马菲斯,塞尔吉奥
5 梅斯盖尔·瓜伊塔,何塞
5 奥拉特,卡洛斯
5 欠你的,奥拉夫
5 拉什克,朱利安
5 斯特芬,马丁
5 特里巴斯通,米尔科
5 Troina,安吉洛
5 瓦伦西亚,弗兰克D。
5 韦内里,贝蒂
5 范思哲,克里斯蒂安
5 维格利奥蒂,玛丽亚·格拉齐亚
4 保罗巴尔丹
4 贝蒂尼,洛伦佐
4 波诺,薇薇安娜
4 博雷尔,米歇尔
4 布拉切利,安德里亚
4 布里杰德,罗伯特
4 卡拉瓦格纳,朱利奥
4 戴维德恰鲁吉
4 Ciancia,Vincenzo
4 费德里卡,西奥切塔
4 居里,皮埃尔·路易斯
4 法拉希,莫雷诺
4 亨利奥,卢多维奇
4 赫米思,戴安娜
4 Hüttel,汉斯
4 约翰,马蒂亚斯
4 约翰森,艾纳·布洛赫
4 基什内尔,克劳德
4 拉金,马修R。
4 利库里,路易吉
4 米尔纳,罗宾
4 奥赫恩,彼得W。
4 皮勒加德,亨里克
4 阿尔伯特克里托
4 皮姆,大卫J。
4 罗德里格斯·帕顿,阿方索
4 罗şu,格里戈
4 鲁达,卡米洛
4 大卫桑吉奥吉
4 萨松,弗拉基米罗
4 索洛维奇,大卫
…还有829位作者
全部的 前5名

在70个系列中被引用

175 理论计算机科学
78 信息与计算
18 函数程序设计杂志
17 MSCS公司。计算机科学中的数学结构
17 逻辑与代数程序设计杂志
17 自然计算
16 计算的形式化方面
15 计算机程序设计学
15 程序设计中的逻辑和代数方法杂志
12 信息学报
11 高阶与符号计算
7 信息处理信函
7 计算机与系统科学杂志
7 自动推理杂志
7 计算机科学中的逻辑方法
5 纯逻辑与应用逻辑年鉴
5 计算机语言、系统与结构
4 自动
4 国际计算机科学基础杂志
4 分布式计算
4 计算系统理论
4 雷罗。理论信息学与应用
4 应用逻辑杂志
计算机科学与技术杂志
国际计算机数学杂志
工程、通信和计算中的应用代数
限制条件
膜计算杂志
2 数学生物学通报
2 信息科学
2 符号计算杂志
2 新一代计算
2 应用非经典逻辑杂志
2 美国计算机学会模型和计算机仿真汇刊
2 西比尔斯基(SibirskieÈlektronnye Matematicheskie Izvestiya)
2 国际并行、应急和分布式系统杂志
2 新数学与自然计算
2 理论生物学杂志
1 人工智能
1 离散应用数学
1 数学生物学杂志
1 应用数学与计算
1 纯粹与应用代数杂志
1 苏联数学杂志
1 符号逻辑杂志
1 京都大学数学科学研究所出版物
1 逻辑研究
1 逻辑史与逻辑哲学
1 物理
1 命令
1 国际智能系统杂志
1 国际近似推理杂志
1 离散事件动态系统
1 雷罗。信息技术应用
1 数学家英达加。新系列
1 第二届世界大学学术论文集。诺瓦。材料ă
1 控制论与系统分析
1 系统设计中的形式化方法
1 符号逻辑公报
1 欧洲控制杂志
1 软计算
1 武汉大学自然科学学报
1 康普特斯伦杜斯。数学数学。巴黎科学院
1 计算逻辑学报
1 理论计算机科学中的电子笔记
1 医学中的计算与数学方法
1 雷罗。理论信息学与应用
1 计算机科学前沿
1 伦敦皇家学会哲学汇刊
1 伦敦皇家学会会刊。A、 数学、物理和工程科学

按年份列出的引文