×

兹马思-数学第一资源

计算逻辑学报

简称: ACM传输。计算机。日志。
出版商: 计算机械协会(ACM),纽约,纽约
ISSN编号: 1529-3785年;1557-945X/e
在线: http://dl.acm.org/pub.cfm?id=J773
评论: 索引封面到封面
编制索引的文档: 576种出版物(自2000年起)
索引的引用: 120种出版物参考文献4343篇。
全部的 前5名

最新版本

21,第4期(2020年)
21,第3期(2020年)
21,第2期(2020年)
21,第1期(2020年)
20,第4期(2019年)
20,第3期(2019年)
20,第2期(2019年)
20,第1期(2019年)
19,第4期(2018年)
19,第3期(2018年)
19,第2期(2018年)
19,第1期(2018年)
18,第4期(2017年)
182017年第3期
18,第2期(2017年)
18,2017年第1期
17,第4期(2016年)
17,第3期(2016年)
17,第2期(2016年)
17,第1期(2015年)
16,2015年第4期
16,第3期(2015年)
16,第2期(2015年)
16,第1期(2015年)
15,2014年第4期
15,第3期(2014年)
15,第2期(2014年)
15,第1期(2014年)
14,2013年第4期
14,第3期(2013年)
14,第2期(2013年)
14,2013年第1期
13,第4期(2012年)
13,第3期(2012年)
13,第2期(2012年)
13,第1期(2012年)
12,2011年第4期
12,第3期(2011年)
12,第2期(2011年)
12,2010年第1期
11,2010年第4期
11,2010年第3期
11,2010年第2期
11,2009年第1期
10,2009年第4期
10,2009年第3期
10,第2期(2009年)
10,2009年第1期
9,2008年第4期
9,2008年第3期
9,2008年第2期
9,第1期(2007年)
8,第4期(2007年)
8,第3期(2007年)
8,第2期(2007年)
8,第1期(2007年)
7,第4期(2006年)
7,第3期(2006年)
7,第2期(2006年)
7,第1期(2006年)
6,2005年第4期
6,第3期(2005年)
6,第2期(2005年)
6,2005年第1期
5,第4号(2004年)
5,第3期(2004年)
5,第2期(2004年)
5,第1期(2004年)
4,第4期(2003年)
4,2003年第3期
4,第2期(2003年)
4,第1期(2003年)
,第4期(2002年)
,第3期(2002年)
,第2期(2002年)
,第1期(2002年)
22001年第4期
2,第3期(2001年)
2,第2期(2001年)
2,2001年第1期
1,第2期(2000年)
1,第1期(2000年)
全部的 前5名

作者

10 古里维奇,尤里
8 布拉斯,安德烈亚斯·拉斐尔
8 艾特,托马斯
8 奥娜库普费尔曼
8 苏巴曼尼亚。美国。
7 本尼迪克,迈克尔A。
7 亨辛格,托马斯A。
7 内文,弗兰克
6 查特吉,克莉什南杜
6 Denecker,马克
6 格特洛布,乔治
6 拉齐奇,兰科
6 斯泽德,斯特凡
5 劳里亚,马西莫
5 解放者,保罗
5 利布金,利昂尼德O。
5 奥利维蒂,尼古拉
5 斯文蒂克,托马斯
5 沃尔默,赫尔贝特
5 扎哈里亚舍夫,迈克尔·维克托罗维奇
4 阿塞里亚,阿尔伯特
4 拜尔斯多夫,奥拉夫
4 科蒂埃,维罗尼克
4 克里诺,娜迪亚
4 法拉利,毛罗
4 佛罗伦萨,卡米洛
4 杰纳姆,萨米尔
4 吉尔迪,西尔维奥
4 格里德,埃里希
4 阿莱西奥·古列尔米
4 哈珀,约瑟夫·耶胡达
4 芬宁,弗兰克
4 塞古芬,卢克
4 塞尔,奥利弗
4 斯特拉斯,乔治
4 谭,托尼
4 蒂乌,阿尔文·费南托
4 汤姆皮茨,汉斯
4 王克文
4 沃尔特兰,斯特凡
艾伯特,艾薇拉
阿鲁尔,拉吉耶夫
安东尼奥,格里戈里斯
贝克曼,阿诺德
博迪斯基,曼纽尔
布莱恩特,兰德尔E。
Carayol,阿诺
查达,罗希特
卡巴托尼,阿加塔
德劳恩,圣潘妮
Demri,Stéphane P。
迪克斯,尤根
狄克逊,克莱尔
冯、袁
菲奥里诺,吉多
加布里埃利,毛里齐奥
Galesi,尼古拉
戈兰科,瓦伦丁F。
格罗赫,马丁
Hustadt,Ullrich
基罗恩斯基,伊曼纽尔
克莱德克,费利克斯
康蒂宁,朱哈
科赞,德克斯特C。
克鲁兹,斯蒂芬
Kwiatkowska,Marta Z。
拉哈夫,奥利
利昂,尼古拉
Liau,Turr Jung
林芳珍
卢卡西维奇,托马斯
卢茨,卡斯滕
马里恩,让·伊夫
梅尔,阿恩
哦,玛丽亚·恰拉
米利厄斯,斯特凡
米勒,戴尔·艾伦
莫加韦罗,法比奥
穆拉诺,阿尼埃洛
Murawski和Andrzej S。
诺德斯特伦,雅各布
拉贝,弗洛里安
拉斯金,让·弗朗索瓦
坂崎
塞巴斯蒂安尼,罗伯托
保罗,沙卡里安
沈亦东
席尔瓦,亚历山德拉
西玛莉,杰拉尔多一世。
泰彭,尼尔
瓦迪,莫斯伊。
文尼肯斯,乔斯特
沃龙科夫,安德烈
沃尔特,弗兰克
英,明生
你,贾淮
张燕
2 埃利格,克劳斯
2 安圭利,法布里齐奥
2 亚提基斯,亚历山大
…还有925位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

429出版物有被引用2780时间2207文件 引用人
用于知识表示和推理的DLV系统。 Zbl 1367.68308号
利昂,尼古拉;菲菲,杰拉尔德;费伯,沃尔夫冈;艾特,托马斯;格特洛布,乔治;佩里,西蒙娜;史卡略,弗朗西斯科
117
2006
强等价逻辑程序。 Zbl 1365.68149
利夫希茨,弗拉基米尔;皮尔斯,大卫;阿古斯丁,瓦弗德
102
2001
域上的Kleene代数。 Zbl 1367.68205
德夏奈,朱尔斯;莫勒,伯恩哈德;乔治斯,乔治斯
50
2006
无限字母表上字符串的有限状态机。 兹布1367.68175
内文,弗兰克;斯文蒂克,托马斯;维亚努,维克多
41
2004
序列抽象状态机捕获序列算法。 Zbl 1365.68258
古里维奇,尤里
39
2000
LTL带有冻结量词和寄存器自动机。 Zbl 1351.68158
德姆瑞,圣潘;拉齐奇,兰科
39
2009
连续时间马尔可夫链模型检验。 Zbl 1365.68313号
阿齐兹,阿德南;桑瓦尔,库穆德;Singhal,Vigyan;布莱顿,罗伯特
36
2000
相互作用和结构的系统。 Zbl 1367.03110
阿莱西奥·古列尔米
35
2007
弱交替自动机并没有那么弱。 Zbl 1171.68551
奥娜库普费尔曼;瓦迪,莫斯伊。
32
2001
定量语言。 Zbl 1351.68155
查特吉,克莉什南杜;多恩,劳伦特;亨辛格,托马斯A。
32
2010
数据字上的双变量逻辑。 Zbl 1352.03041号
博雅钦克,米科·阿杰;大卫,克莱尔;安卡,马斯克霍尔;斯文蒂克,托马斯;塞古芬,卢克
32
2011
保守约束满足问题的复杂性。 Zbl 1351.68113
布拉托夫,安德烈A。
31
2011
一般判断的证明理论。 Zbl 1367.03059
米勒,戴尔;蒂乌,阿尔文
30
2005
小句时间分辨率。 Zbl 1365.03017
费舍尔,迈克尔;狄克逊,克莱尔;佩姆,马丁
28
2001
语境模态类型理论。 Zbl 1367.03060
纳涅夫斯基,亚历山达;芬宁,弗兰克;皮恩卡,布里吉特
28
2008
带条件约束的概率逻辑规划。 Zbl 1171.68762
卢卡西维奇,托马斯
27
2001
霍尔逻辑与Kleene代数及其检验。 Zbl 1365.68326
科赞,德克斯特
27
2000
MSO可定义的串传输和双向有限状态传感器。 Zbl 1171.03326
恩格尔弗里特,乔斯特;亨德里克·扬
24
2001
策略推理:关于模型检验问题。 Zbl 1354.68178
莫加韦罗,法比奥;穆拉诺,阿尼埃洛;佩雷利,朱塞佩;瓦迪,莫斯伊。
23
2014
修饰跟踪语义的预配置格式。 Zbl 1367.68209
布鲁姆,吟游诗人;沃恩州福克金;范格拉贝克,罗伯J。
23
2004
度量偏代数的抽象与具体计算。 Zbl 1367.68102号
塔克,J。五。;扎克,J。一。
23
2004
基于重写的可满足性过程的新结果。 Zbl 1367.68243
阿曼多,亚历山德罗;博纳奇娜,玛丽亚·保拉;拉妮丝,西尔维奥;舒尔茨,斯蒂芬
23
2009
答案集程序设计中等价物的语义特征和复杂性。 Zbl 1367.68031
艾特,托马斯;芬克,迈克尔;沃尔特兰,斯特凡
22
2007
直觉光仿射逻辑。 Zbl 1365.03040
阿斯佩蒂,安德里亚;洛弗西,卢卡
21
2002
最小知识与否定为失败的描述逻辑。 Zbl 1365.68403
多尼尼,弗朗西斯科M。;纳迪,丹尼尔;罗萨蒂,里卡多
21
2002
在稳定模型语义中展开偏好和析取。 Zbl 1367.68035
简胡南,托米;尼美拉,伊尔卡;塞佩尔,迪特玛;西蒙斯,帕特里克;你,贾淮
21
2006
代数语言等价的完备公理化。 Zbl 1353.68186
邦桑格,马塞洛M。;米利厄斯,斯特凡;席尔瓦,亚历山德拉
20
2013
LTL片段的确定性生成器和游戏。 Zbl 1366.03181
阿鲁尔,拉吉耶夫;拉托雷,萨尔瓦托
20
2004
实数上量化不等式约束的有效求解。 Zbl 1367.68270
拉斯坎,斯特凡
19
2006
“模型测量”的参数时序逻辑。 Zbl 1171.68544
阿鲁尔,拉吉耶夫;伊特萨米,库沙;拉托雷,萨尔瓦托;贝利,多伦
18
2001
可撤销逻辑的表示结果。 Zbl 1171.68740
安东尼奥,格里戈里斯;比林顿,大卫;圭多省州长;马厄,迈克尔J。
18
2001
Brzozowski极小化算法中的代数余代数对偶性。 Zbl 1288.68174
邦奇,菲利波;邦桑格,马塞洛M。;汉森,海伦H。;帕南加登,普拉卡什;拉滕,简·J。M。M。;席尔瓦,亚历山德拉
17
2014
具有命题连接词和聚合词的逻辑程序。 Zbl 1351.68053
法拉利,保罗
17
2011
逻辑框架下的高阶抽象语法推理。 Zbl 1365.68164
麦克道尔,雷蒙德·C。;米勒,戴尔A。
16
2002
概率博弈语义学。 Zbl 1365.68310号
文森特,达诺斯;哈默,罗素S。
16
2002
同一类型的拓扑模型和简单模型。 Zbl 1352.03012号
范登伯格,本诺;加纳,理查德
16
2012
为什么有这么多的循环公式? Zbl 1367.68036
利夫希茨,弗拉基米尔;拉兹博罗夫,亚历山大
16
2006
局部宇宙模型:相依型理论被忽视的连贯结构。 Zbl 1354.03101号
卢姆斯丹,彼得·勒法努;沃伦,迈克尔A。
15
2015
在\({\omega}\)—常规游戏中最终获胜。 Zbl 1351.68156
查特吉,克莉什南杜;亨辛格,托马斯A。;霍恩,弗洛里安
15
2009
知识状态规划、语义和复杂性的逻辑编程方法。 Zbl 1367.68301
艾特,托马斯;费伯,沃尔夫冈;利昂,尼古拉;菲菲,杰拉尔德;波莱雷斯,阿克塞尔
15
2004
非单调归纳定义的逻辑。 Zbl 1367.68278号
Denecker,马克;特诺夫斯卡,尤金妮娅
15
2008
可满足模理论中Craig插值的有效生成。 Zbl 1351.68247
亚历山德罗·西马蒂;艾伯塔,格里戈;塞巴斯蒂安尼,罗伯托
14
2010
否定为失败逻辑程序的最小模型语义。 Zbl 1367.68038
Rondogiannis,帕诺斯;韦奇,威廉W。
14
2005
自动线性订单和树。 Zbl 1367.03070
霍萨伊诺夫,巴哈迪尔;鲁宾,萨沙;斯蒂芬,弗兰克
14
2005
OPL中的搜索与策略。 Zbl 1365.90281号
范亨特莱克,帕斯卡;佩伦,劳伦特;普吉,让·弗朗索瓦
13
2000
论深层推理的证明复杂性。 Zbl 1351.03056
布鲁斯科利,保拉;阿莱西奥·古列尔米
13
2009
机械化LF的元理论。 Zbl 1351.68250
城市,基督教;切尼,詹姆斯;伯格霍夫,斯特凡
13
2011
线性逻辑中的最小不动点和最大不动点。 Zbl 1352.03072
贝尔德,大卫
13
2012
论概率抽象论证框架的复杂性。 Zbl 1354.68253
费辛加,贝蒂娜;弗莱斯卡,塞尔吉奥;帕里西,弗朗西斯科
13
2015
关于LF型理论中的等价性和标准型。 Zbl 1367.03055
哈珀,罗伯特;芬宁,弗兰克
13
2005
软并发约束编程。 Zbl 1367.68315
比斯塔雷利,斯特凡诺;蒙塔纳里,乌戈;罗西,弗朗西丝卡
13
2006
标准条件逻辑的顺序演算和定理证明器。 68136253.7升
奥利维蒂,尼古拉;波扎托,吉安·卢卡;施温德,卡米拉B。
13
2007
素数定理的一个形式证明。 Zbl 1367.68244
阿维加德,杰里米;唐纳利,凯文;格雷,大卫;拉夫,保罗
13
2007
处理器验证使用有效的非解释函数的逻辑还原为命题逻辑。 Zbl 1365.68317号
布莱恩特,兰德尔E。;德国人,史蒂文;维列夫,米罗斯拉夫N。
12
2001
有界树宽度有限结构上的一元数据日志。 Zbl 1351.68110号
格特洛布,乔治;皮勒,莱茵哈德;魏芳
12
2010
依赖逻辑中的层次结构。 Zbl 1352.03039号
杜兰德,阿诺;康蒂宁,朱哈
12
2012
不确定性阶段语义与布尔BI的不确定性。 Zbl 1343.03022
拉奇·温德林,多米尼克;加尔米切,迪迪埃
12
2013
无单位乘法加性线性逻辑的证明网。 Zbl 1367.03111
休斯,多米尼克J。D。;范格拉贝克,罗伯J。
12
2005
命题可计算性逻辑。一。 Zbl 1367.03056
贾帕里泽,乔治
12
2006
可折叠下推自动机和递归方案。 Zbl 1407.68256
黑格,马修;Murawski和Andrzej S。;昂,C.-H。卢克;塞尔,奥利弗
12
2017
在保护逻辑和模态逻辑之间来回切换。 Zbl 1365.03019
格里德,埃里希;赫希,科林;奥托,马丁
11
2002
抽象状态机捕获并行算法。 Zbl 1365.68253
布拉斯,安德烈亚斯;古里维奇,尤里
11
2003
逻辑程序自动终止证明的术语重写。 Zbl 1351.68054
施耐德·坎普,彼得;吉尔根,吉尔根;亚历山大·塞雷布雷尼克;蒂曼,勒内
11
2009
\({\pi})-演算的互模拟和模态逻辑的证明搜索规范。 Zbl 1351.68186
蒂乌,阿尔文;米勒,戴尔
11
2010
非单调逻辑程序中答案集的归纳法。 Zbl 1367.68039号
坂崎
11
2005
abelian和Łukasiewicz逻辑的序列和超序列计算。 Zbl 1407.03037
梅特卡夫,乔治;奥利维蒂,尼古拉;加贝,Dov
11
2005
一种有效的整数与实数线性运算的判定方法。 Zbl 1407.03052
伯纳德,博伊格洛特;约多涅,塞巴斯蒂安;沃尔珀,皮埃尔
11
2005
一元时间分辨率。 邮编:1367.ZB35
德格亚雷夫,安纳托利;费舍尔,迈克尔;科涅夫,鲍里斯
11
2006
命题可计算性逻辑。二。 Zbl 1367.03057
贾帕里泽,乔治
11
2006
有界度结构的一阶查询是可计算的,具有常数延迟。 Zbl 1367.68086
杜兰德,阿诺;爷爷,艾蒂安
11
2007
模态逻辑和描述逻辑的统一性和可容许性问题的不可判定性。 Zbl 1367.03026
沃尔特,弗兰克;扎哈里亚舍夫,迈克尔
11
2008
秩1模态逻辑的PSPACE界。 Zbl 1351.03015
施罗德,卢茨;帕丁森,德克
10
2009
符号过渡系统的分类。 Zbl 1367.68193
亨辛格,托马斯A。;马朱姆达尔,鲁帕克;拉斯金,让·弗朗索瓦
10
2005
从线性时间到分支时间。 Zbl 1367.68195
奥娜库普费尔曼;瓦迪,莫斯伊。
10
2005
具有计数和局部性质的逻辑。 Zbl 1365.03025
利布金,列奥尼德
9
2000
情境演算中基于感知的知识规划。 Zbl 1365.68409
雷特,雷
9
2001
过程代数弱ST互模拟的递归与行为精化判定与公理化。 Zbl 1365.68340
布雷维蒂,马里奥;戈里里,罗伯托
9
2002
在仿真图上检查时间Büchi自动机的空性。 Zbl 1352.68165
特里帕基斯,斯塔夫罗斯
9
2009
非单调推理KLM逻辑的解析表演算。 Zbl 1351.03004号
乔达诺,劳拉;格利奥兹,瓦伦蒂娜;奥利维蒂,尼古拉;波扎托,吉安·卢卡
9
2009
量子过程的代数。 Zbl 1351.68187
英,明生;冯、袁;段润耀;纪正峰
9
2009
正则表达式的补码和交集的简洁性。 Zbl 1351.68139
盖拉德,沃特;内文,弗兰克
9
2012
全结构命题序列系统的统一语义框架。 Zbl 1354.03084
拉哈夫,奥利;阿文,阿农
9
2013
具有累积值的时间规范。 Zbl 1354.68169
伯克,Udi;查特吉,克莉什南杜;亨辛格,托马斯A。;奥娜库普费尔曼
9
2014
下一次用具体的域完成描述逻辑。 Zbl 1367.68288号
卢茨,卡斯滕
9
2004
算术,一阶逻辑,计数量词。 Zbl 1407.03050
施维卡,妮可
9
2005
不确定性下的定性感知和推理。 Zbl 1367.68281号
你好,卢卡;卢卡西维奇,托马斯;纳迪,丹尼尔;罗萨蒂,里卡多
9
2009
二阶有界算法的改进见证和局部改进原理。 Zbl 1287.03105号
贝克曼,阿诺德;巴斯,塞缪尔R。
8
2014
逻辑程序设计:逻辑程序作为归纳定义。 Zbl 1365.68148
Denecker,马克;布鲁努赫,莫里斯;马雷克,维克托
8
2001
Datalog-LITE:一种线性时间模型检查的演绎查询语言。 Zbl 1365.68203
格特洛布,乔治;格里德,埃里希;维思,赫尔穆特
8
2002
效应与单子的结合。 Zbl 1365.68166
韦德勒,菲利普;蒂曼,彼得
8
2003
基于仿真的最小化。 Zbl 1365.68319号
布斯坦,多伦;格鲁伯格,奥娜
8
2003
策略下重写的终止。 Zbl 1351.68129号
格奈迪格,伊莎贝尔;基什内尔,Hélène
8
2009
结构聚焦。 Zbl 1354.03087号
西蒙斯,罗伯特J。
8
2014
分裂算子:具有不动点语义的逻辑的代数模性结果。 Zbl 1367.68295
文尼肯斯,乔斯特;吉利斯,大卫;Denecker,马克
8
2006
抽象规范推理。 Zbl 1367.03023
博纳奇娜,玛丽亚·保拉;德肖维茨,纳库姆
8
2007
环境机器的具体框架。 Zbl 1367.68093
比尔纳卡,玛格尔扎塔;丹维,奥利弗
8
2007
交替时间自动机。 Zbl 1367.68172号
拉索塔,斯拉沃米尔;瓦鲁基维茨,伊戈尔
8
2008
溯因逻辑编程中可验证的agent交互:SCIFF框架。 Zbl 1367.68273
阿尔贝蒂,马可;切萨尼,费德里科;加瓦内利,马可;南丫岛,伊芙丽娜;梅洛,保拉;托罗尼,保罗
8
2008
带队列项代数的判定过程。 Zbl 1171.68557
瑞比纳,塔蒂安娜;沃龙科夫,安德烈
7
2001
结合等式插值理论的无量词插值。 Zbl 1287.03068号
布鲁托梅索,罗伯托;吉尔迪,西尔维奥;拉妮丝,西尔维奥
7
2014
幂等反统一。 Zbl 1433.68188
塞尔纳,大卫;特穆尔库兹亚
2
2020
在安全协议中免费输入消息。 Zbl 1433.68211
天哪,雷米;科蒂埃,维罗尼克;安托万,戴隆;德劳恩,圣潘妮
1
2020
直觉命题演算中的不动点消去。 Zbl 1433.03015
吉尔迪,西尔维奥;Gouveia,Maria Joã;圣托卡纳尔,路易吉
1
2020
有界扩张类的一阶解释。 Zbl 1446.68094
加亚尔斯克,雅库布;克鲁兹,斯蒂芬;尼舍特伊尔,雅罗斯拉夫;奥索纳·德门德斯,帕特里斯;皮利普祖克,米迦;西伯茨,塞巴斯蒂安;西门托伦奇克
1
2020
基于存在规则的快速查询回答。 Zbl 1433.68432
利昂,尼古拉;曼娜,马可;特瑞奇纳,乔治;维尔特里,皮尔弗兰切斯科
2
2019
证明复杂性符合代数。 Zbl 1407.03070
阿塞里亚,阿尔伯特;乔安娜,奥克雷米克
2
2019
用自然二元论检验可采性。 Zbl 1407.03010号
卡布雷尔,莱昂纳多·M。;本杰明·弗里斯伯格;梅特卡夫,乔治;普里斯特利,希拉里A。
2
2019
计算域的高阶微积分。 Zbl 1407.68326
奥德里托,乔治;维罗利,米尔科;达米亚尼,费鲁乔;皮亚尼,丹尼洛;比尔,雅各布
2
2019
正常和非正常模式下连续结石的模块化。 Zbl 1433.03131号
勒尔曼,比约恩;皮门特尔,伊莲
2
2019
定时寄存器下推自动机和分支向量加法系统的二进制可达性。 Zbl 1433.68194
克莱门特,洛伦佐;拉索塔,Sławomir;拉齐奇,兰科;马佐维茨基,菲利普
1
2019
关于参数环上livelock自由度和自镇定的验证。 Zbl 1433.68254
克林克默,亚历克斯;艾布内纳斯,阿里
1
2019
1-安全Petri网与特殊立方体复合体。等效性和应用。 Zbl 1433.68243
查洛平,杰瑞米;切波,维克多
1
2019
短证据窄吗?QBF分辨率为很简单。 Zbl 1407.03072
拜尔斯多夫,奥拉夫;嚼吧,勒罗伊;马哈扬,米娜;舒克拉,阿尼尔
4
2018
团队语义中命题逻辑的复杂性。 Zbl 1407.68291号
汉努拉,米卡;Juen,Juenha;维特玛,乔尼;沃尔默,赫尔贝特
2018
路径类别和命题身份类型。 Zbl 1407.03005
范登伯格,本诺
2
2018
交替时间时序逻辑的博弈论语义。 Zbl 1407.03030
哥伦科,瓦伦丁;库西斯托,安蒂;雷恩霍尔姆
2
2018
模非线性算法和超越函数的可满足性和验证的增量线性化。 Zbl 1407.68285号
亚历山德罗·西马蒂;艾伯塔,格里戈;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2018
一种认知策略逻辑。 Zbl 1407.03020
黄晓伟;范德梅登,罗恩
2
2018
具有奇偶性的常深Frege子系统。 Zbl 1407.03074
加利克,迈克尔;Kołodziejczyk,Leszek Aleksander
2
2018
基于分类器学习的分段函数合成。 Zbl 1407.68411号
尼尔,丹尼尔;萨哈,Shambwaditya;马杜苏丹,P。
1
2018
超序列和规则、嵌入和应用系统。 Zbl 1407.03066号
卡巴托尼,阿加塔;金科,弗朗西斯科A。
1
2018
语义松散的包含逻辑中的层次结构。 Zbl 1407.03040
汉努拉,米卡
1
2018
打字名义重写。 Zbl 1407.68240号
好天气,埃利奥特;费尔南德斯,玛丽贝尔
1
2018
并行成本分析。 Zbl 1407.68062
艾伯特,艾薇拉;科雷亚斯,杰斯;约翰森,艾纳·布洛赫;双关语,kai。;吉列尔莫·罗曼德伊斯
1
2018
可折叠下推自动机和递归方案。 Zbl 1407.68256
黑格,马修;Murawski和Andrzej S。;昂,C.-H。卢克;塞尔,奥利弗
12
2017
计算结巴等价和分支互模拟的一种算法。 Zbl 1367.68211
格罗特,简·弗里索;詹森,大卫N。;凯伦,杰伦J。A。;Wijs,安东J。
5
2017
Halpern-Shoham区间时间逻辑的Horn片段。 Zbl 1407.03029号
布雷索林,戴维德;阿吉,库鲁兹;穆尼奥斯·贝拉斯科,埃米利奥;里日科夫,弗拉迪斯拉夫;西亚维科,吉多;扎哈里亚舍夫,迈克尔
4
2017
用刚性无环文法对有限树语言的算法压缩。 Zbl 1407.68251号
埃伯哈德,塞巴斯蒂安;艾伯纳,加布里埃尔;赫茨,斯特凡
2017
Frege的NP搜索问题及扩展Frege证明。 Zbl 1407.03071
贝克曼,阿诺德;巴斯,萨姆
2017
系统发育约束满足问题的复杂性。 Zbl 1407.68206
博迪斯基,曼纽尔;彼得·琼森;范,Trung Van
2017
嵌套加权自动机。 Zbl 1407.68248
查特吉,克莉什南杜;亨辛格,托马斯A。;奥托普,一月
2
2017
分布在组件上的数据日志查询。 Zbl 1367.68081
阿梅洛特,汤姆J。;球手,篮筐;内文,弗兰克;吉恩,丹尼尔
2
2017
融合在角碎片中。 兹布1367.68280
哈雷特,阿德里安;Rümmele,Stefan;沃尔特兰,斯特凡
2
2017
有理性关系的图逻辑:词组合学的作用。 Zbl 1367.68082
巴塞洛,巴勃罗;穆尼奥斯,巴勃罗
2
2017
使用描述逻辑管理图结构数据的变化。 Zbl 1407.68122号
艾哈迈塔伊,什奇波尼亚;加尔瓦内斯,迭戈;奥尔蒂斯,玛格达琳娜;西姆库斯,螳螂
1
2017
用函数符号检测有限接地逻辑程序的可判定类。 Zbl 1407.68078
卡拉提,马可;格雷科,塞尔吉奥;特鲁比西娜,伊琳娜
1
2017
一个层次结构产生另一个层次,图解构和连接查询的复杂性分类。 Zbl 1407.68211
陈,胡比;穆勒,莫里茨
1
2017
半完全有向图上的量化约束满足问题。 Zbl 1367.68115号
Đapić,佩塔;佩塔马尔科维奇;马丁,巴纳比
1
2017
GPU内核的一种古老逻辑。 Zbl 1367.68066
Kojima,Kensuke;伊加拉希,阿特苏希
1
2017
方程,收缩和唯一解。 Zbl 1367.68212号
大卫桑吉奥吉
1
2017
自动生成色情搜索场景:分类、优化和知识提取。 Zbl 1367.68277
斯奇蒙,克莱布夫斯基;科莫辛斯基;库普斯,亚当
1
2017
可能性论证逻辑:关于合理的不确定信念的推理。 Zbl 1407.03023
苏车平;范,团芳;Liau,Turr Jung
1
2017
分解局部效应作用理论的进展。 Zbl 1367.68292号
波诺马约夫,丹尼斯;苏查斯基,米哈伊尔
1
2017
微分混合博弈。 Zbl 1407.91056号
普拉泽,安德烈
1
2017
一个随机预言的可计算输出的概率。 Zbl 1407.03056
巴姆帕利亚斯,乔治;森泽,道格拉斯;波特,克里斯托弗P。
1
2017
结构显示规则的功能和限制。 Zbl 1407.03067
巴塔戈尼,巴塔戈尼;拉玛纳亚克,瑞凡塔
7
2016
二元无分离连接的分离逻辑的表达完备性。 Zbl 1367.03053
迪玛,斯蒂芬;威慑,摩根
5
2016
狭义的证明可能最长。 Zbl 1367.03104号
阿塞里亚,阿尔伯特;劳里亚,马西莫;诺德斯特伦,雅各布
4
2016
密码协议等价性的自动验证。 Zbl 1367.68184
查达,罗希特;雪娃,文森特;首席执行官,特凡;克莱默,史蒂夫
4
2016
偏序集上存在逻辑的模型检验。 Zbl 1367.68182号
波瓦,西蒙妮;加尼安,罗伯特;斯泽德,斯特凡
2016
确定性和非确定性一元递归方案的霍尔逻辑。 Zbl 1367.68069
马穆拉斯,康斯坦丁诺斯
2
2016
逻辑程序的正确性和完备性。 Zbl 1367.68030
德拉本特,Włodzimierz
2
2016
博弈自动机的索引问题。 Zbl 1367.68167
法奇尼,亚历山德罗;莫拉克,菲利普;斯克日普扎克,米查
2
2016
驯服多重关系。 Zbl 1407.03080号
福泽、仁石;斯特拉斯,乔治
2
2016
有限树上二元逻辑的复杂性。 Zbl 1367.03062
本奈姆,萨古伊;本尼迪克,迈克尔;查拉托尼克,维托德;基罗恩斯基,伊曼纽尔;伦哈特,拉斯蒂斯拉夫;马佐维茨基,菲利普;沃雷尔,詹姆斯
2
2016
一阶和一元二阶逻辑重合。 Zbl 1407.03003号
埃尔伯菲尔德,迈克尔;格罗赫,马丁;坦图,直到
2
2016
保护逻辑中的有效内插和保持。 Zbl 1367.03036号
本尼迪克,迈克尔;十餐,巴尔德;范登·波姆,迈克尔
1
2016
卷积作为一个统一的概念:在分离逻辑,区间计算和并发中的应用。 Zbl 1367.68210
多戈尔,布里杰什;海斯,伊恩J。;斯特拉斯,乔治
1
2016
命题逻辑片段中的信念融合。 Zbl 1367.03034
克里诺,娜迪亚;帕皮尼,奥黛尔;Rümmele,Stefan;沃尔特兰,斯特凡
1
2016
随机答案集程序的相变模型。 Zbl 1367.68043
文,廉;王克文;沈奕东;林芳珍
1
2016
正量化有多难? Zbl 1367.03021
舒伯特,阿列克西;乌兹钦帕维;瓦鲁基维茨Chrząszcz,达里亚
1
2016
局部宇宙模型:相依型理论被忽视的连贯结构。 Zbl 1354.03101号
卢姆斯丹,彼得·勒法努;沃伦,迈克尔A。
15
2015
论概率抽象论证框架的复杂性。 Zbl 1354.68253
费辛加,贝蒂娜;弗莱斯卡,塞尔吉奥;帕里西,弗朗西斯科
13
2015
分支vas、MELL和extension的非元素复杂性。 Zbl 1354.68128号
拉齐奇,兰科;施密兹,西尔文
5
2015
用于事件识别的概率事件演算。 Zbl 1354.68266
斯卡拉提迪斯,阿纳斯塔西奥斯;帕里奥拉斯,乔治;亚提基斯,亚历山大;沃罗斯,乔治A。
5
2015
线性合理成本的最优化模理论。 Zbl 1354.68233
塞巴斯蒂安尼,罗伯托;托马斯,西尔维亚
5
2015
析取逻辑程序正常化的后门。 Zbl 1367.68032
费希特,约翰尼斯K。;斯泽德,斯特凡
5
2015
关于子结构和博弈的推理。 Zbl 1354.03019
贝内雷凯蒂,马西莫;莫加韦罗,法比奥;穆拉诺,阿尼埃洛
4
2015
集团宽度的SAT方法。 Zbl 1354.68240
海勒,玛丽安J。H。;斯泽德,斯特凡
4
2015
并发动态代数。 Zbl 1367.03054
福泽、仁石;斯特拉斯,乔治
4
2015
二元分离逻辑及其内圈。 Zbl 1354.03036
德姆瑞,圣潘;威慑,摩根
2015
基于语义特征的DL-Lite本体修正。 Zbl 1367.68297
王哲;王克文;托珀,罗德尼
2015
Łukasiewicz博弈:基于逻辑的定量战略互动方法。 Zbl 1367.68289
马尔基奥尼,恩里科;伍尔德里奇,迈克尔
2015
不可判定命题双模逻辑与一元一阶计数线性时态逻辑。 Zbl 1354.03022
汉普森,克里斯托弗;阿吉,库鲁兹
2
2015
G3i的评价驱动决策过程。 Zbl 1354.03083
法拉利,毛罗;佛罗伦萨,卡米洛;菲奥里诺,吉多
2
2015
论结构微积分中的代换力。 Zbl 1354.03091号
诺瓦科维奇,诺瓦克;斯特拉汉堡,卢茨
2
2015
从小空间到小宽度的分辨率。 Zbl 1367.03105
菲默斯,尤瓦;劳里亚,马西莫;米哈登,米哈登;诺德斯特伦,雅各布;葡萄酒,马克
2
2015
不动点逻辑中的抽象。 Zbl 1367.68187
克兰,斯约尔德;加兹达,麦基;韦斯林克,威格;威廉,蒂姆A。C。
2
2015
有限树上逆运算的有效判定。 Zbl 1354.68124号
杰尼维斯,皮埃尔;拉伊达,纳比勒;施密特,艾伦;杰斯伯特,尼尔斯
1
2015
单价宇宙层次中的高同伦。 Zbl 1354.03100
克劳斯,尼科莱;萨特勒,克里斯蒂安
1
2015
概率分布转移系统行为关系的逻辑刻画。 Zbl 1354.68192号
克拉法,西尔维亚;兰扎托,弗朗西斯科
1
2015
近似Skolem问题的可判定性及其在Markov链动力学性质逻辑验证中的应用。 Zbl 1354.68168
比斯凯亚,M。;亨利克斯,D。;马修斯,P。
1
2015
最小化确定性格自动机。 Zbl 1354.68156
哈拉米希,舒拉米特;奥娜库普费尔曼
1
2015
为什么很难获得一致性查询回答的二分法? Zbl 1354.68072
方丹,盖尔
1
2015
有限变量逻辑中量词深度的界:交替层次。 Zbl 1354.03038
伯克霍尔茨,克里斯托夫;克雷布斯,安德烈亚斯;维比茨基,奥列格
1
2015
直觉交互证明的逻辑(完全知识转移的形式理论)。 Zbl 1367.68282号
克莱默,西蒙
1
2015
微分博弈逻辑。 Zbl 1367.68201号
普拉泽,安德烈
1
2015
从安全协议到下推自动机。 Zbl 1367.68186
天哪,雷米;科蒂埃,维罗尼克;德劳恩,圣潘妮
1
2015
交替时时态逻辑(mathrm{ATL}^+\)结构可满足性检验与模型综合的最优表格法。 Zbl 1367.68246
塞里托,塞雷内拉;大卫,阿梅莉;哥伦科,瓦伦丁
1
2015
松弛理论态射。 Zbl 1367.03061
拉贝,弗洛里安
1
2015
自然合并排序的稳定性和正确性的断言性证明。 Zbl 1367.68080
莱诺,K。鲁斯坦M。;卢西奥,帕基
1
2015
策略推理:关于模型检验问题。 Zbl 1354.68178
莫加韦罗,法比奥;穆拉诺,阿尼埃洛;佩雷利,朱塞佩;瓦迪,莫斯伊。
23
2014
Brzozowski极小化算法中的代数余代数对偶性。 Zbl 1288.68174
邦奇,菲利波;邦桑格,马塞洛M。;海伦,汉斯。;帕南加登,普拉卡什;拉滕,简·J。M。M。;席尔瓦,亚历山德拉
17
2014
具有累积值的时间规范。 Zbl 1354.68169
伯克,Udi;查特吉,克莉什南杜;亨辛格,托马斯A。;奥娜库普费尔曼
9
2014
二阶有界算法的改进见证和局部改进原理。 Zbl 1287.03105号
贝克曼,阿诺德;巴斯,塞缪尔R。
8
2014
结构聚焦。 Zbl 1354.03087号
西蒙斯,罗伯特J。
8
2014
结合等式插值理论的无量词插值。 Zbl 1287.03068号
布鲁托梅索,罗伯托;吉尔迪,西尔维奥;拉妮丝,西尔维奥
7
2014
部分观察随机博弈,当信念失败时如何获胜。 Zbl 1291.91021号
查特吉,克莉什南杜;多恩,劳伦特
7
2014
利用tableau确定具有完全角色否定和身份的描述逻辑。 Zbl 1287.03031号
施密特,雷诺A。;蒂什科夫斯基,德米特里
5
2014
无限树上自动机的随机化。 Zbl 1354.68150号
Carayol,阿诺;哈达德,阿克塞尔;塞尔,奥利弗
5
2014
…还有329份文件
全部的 前5名

2823位作者引用

25 艾特,托马斯
25 沃尔特兰,斯特凡
22 查特吉,克莉什南杜
19 莫勒,伯恩哈德
16 穆拉诺,阿尼埃洛
16 瓦迪,莫斯伊。
15 Denecker,马克
15 奥娜库普费尔曼
15 斯特拉斯,乔治
15 特鲁兹钦斯基,米洛斯ław
14 阿尔维亚诺,马里奥
14 Rondogiannis,帕诺斯
14 斯特拉汉堡,卢茨
13 狄克逊,克莱尔
13 利昂,尼古拉
13 卢卡西维奇,托马斯
12 Demri,Stéphane P。
12 亨辛格,托马斯A。
12 利夫希茨,弗拉基米尔
12 帕丁森,德克
12 皮恩卡,布里吉特
12 拉斯金,让·弗朗索瓦
11 达拉戈,乌戈
11 费伯,沃尔夫冈
11 米利厄斯,斯特凡
11 沃尔特,弗兰克
11 扎哈里亚舍夫,迈克尔·维克托罗维奇
10 拜尔斯多夫,奥拉夫
10 布耶,帕特里夏
10 卡巴拉,佩德罗
10 德肖维茨,纳库姆
10 格布瑟,马丁
10 格特洛布,乔治
10 贾帕里泽,乔治
10 卡托恩,乔斯特·皮尔特
10 梅斯盖尔·瓜伊塔,何塞
10 奥拉特,卡洛斯
10 里卡,弗朗西斯科
10 林格森,克里斯托夫
10 塔克,约翰五世。
10 祖克,杰弗瑞一世。
9 醋酸,卢卡
9 博加茨,巴特
9 多达罗,胭脂红
9 芬克,迈克尔
9 吉尔根,吉尔根
9 安娜,英格尔夫斯多蒂尔
9 莱特,乔昂
9 利勒,尤利娅
9 莫加韦罗,法比奥
9 斯文蒂克,托马斯
9 沃尔默,赫尔贝特
8 拜尔,克里斯特尔
8 帕特里克,白露
8 伯克,Udi
8 福克金,威廉·扬
8 加贝,默多克·詹姆斯
8 乔达诺,劳拉
8 圭多省州长
8 Hustadt,Ullrich
8 Kwiatkowska,Marta Z。
8 林芳珍
8 马拉茶,马可
8 梅尔,阿恩
8 米勒,戴尔·艾伦
8 奥利维蒂,尼古拉
8 佩雷利,朱塞佩
8 皮门特尔,伊莲
8 肖布,托尔斯滕H。
8 施罗德,卢茨
8 蒂尼,西蒙妮
8 沃雷尔,詹姆斯B。
8 齐默尔曼,马丁格。
7 巴德尔,弗兰兹
7 博迪斯基,曼纽尔
7 博利格,贝尼迪克
7 博纳奇娜,玛丽亚·保拉
7 卡巴托尼,阿加塔
7 德劳恩,圣潘妮
7 格罗赫,马丁
7 古里维奇,尤里
7 见鬼,帕沃
7 杰克逊,马塞尔G。
7 劳里亚,马西莫
7 李,卓容
7 洛里,马库斯
7 马滕斯,Wim
7 阿尔伯托莫米格里亚诺
7 Murawski和Andrzej S。
7 内文,弗兰克
7 奥托普,一月
7 帕南加登,普拉卡什
7 波扎托,吉安·卢卡
7 雷尼尔,皮埃尔·阿兰
7 施密特,雷诺A。
7 斯科卡尔特,史蒂文
7 施维卡,妮可
7 蒂乌,阿尔文·费南托
7 汤姆皮茨,汉斯
7 Van den Bussche,一月
…以及2723位作者
全部的 前5名

被132种期刊引用

179 理论计算机科学
134 信息与计算
127 逻辑程序设计理论与实践
112 人工智能
75 计算机科学中的逻辑方法
65 计算机与系统科学杂志
60 纯逻辑与应用逻辑年鉴
56 计算逻辑学报
49 自动推理杂志
46 MSCS公司。计算机科学中的数学结构
45 数学与人工智能年鉴
45 程序设计中的逻辑和代数方法杂志
35 应用逻辑杂志
33 信息学报
33 国际近似推理杂志
32 逻辑与代数程序设计杂志
28 信息处理信函
28 应用非经典逻辑杂志
28 计算系统理论
26 系统设计中的形式化方法
20 逻辑研究
19 函数程序设计杂志
17 计算的形式化方面
16 限制条件
15 符号逻辑杂志
13 模糊集与系统
13 国际计算机科学基础杂志
11 符号计算杂志
10 符号逻辑公报
9 离散应用数学
9 数理逻辑档案
9 逻辑、语言与信息杂志
9 计算机基础理论
8 哲学逻辑杂志
8 纯粹与应用代数杂志
8 暹罗计算机杂志
8 计算机程序设计学
7 机器学习
6 信息科学
6 合成语
6 计算复杂性
6 ACM杂志
5 国际理论物理杂志
5 通用代数
5 应用数学与计算
5 数理逻辑季刊
5 泛逻辑
4 国际代数与计算杂志
4 软计算
4 计算机科学中的数学
4 计算机科学评论
计算机与运筹学
暹罗离散数学杂志
雷罗。理论信息学与应用
国际博弈论述评
符号逻辑述评
雷罗。理论信息学与应用
计算机科学前沿
2 代数通讯
2 离散数学
2 立陶宛数学杂志
2 自动
2 圣母院形式逻辑杂志
2 编程与计算机软件
2 美国数学学会会刊
2 欧洲组合学杂志
2 计算机科学与技术杂志
2 算法
2 全球最优化杂志
2 国际计算机数学杂志
2 控制论与系统分析
2 数学科学杂志(纽约)
2 范畴理论与应用
2 离散数学与理论计算机科学。DMTC
2 逻辑与逻辑哲学
2 计算机语言、系统与结构
2 非线性分析。混合动力系统
2 高层建筑
1 倒排索引综述
1 计算机与数学及其应用
1 国际通用系统杂志
1 Zhurnal Vychislitel'noĭMatematiki i MatematicheskoĭFiziki
1 数据库系统上的ACM事务
1 数学进展
1 数学基础
1 代数杂志
1 组合理论杂志。B系列
1 克贝内提卡
1 数学期刊
1 组合
1 图与组合
1 应用数学快报
1 数学论坛
1 运筹学年鉴
1 实时系统
1 杰泰。实验与理论人工智能杂志
1 计算几何
1 统计计算与模拟杂志
1 分布式计算
1 应用范畴结构
…还有32本杂志

按年份列出的引文