×

兹马思-数学第一资源

雷诺兹,安德鲁

计算距离:
作者ID: 雷诺兹。安德鲁“雷诺兹,安德鲁”最近的zbMATH文章
发布方式: 雷诺兹,安德鲁;雷诺兹,A。
编制索引的文档: 34种出版物自1972年以来,包括1本书

按年份列出的出版物

zbMATH公开赛中包含的引文

28出版物有被引用119时间81份文件 引用人
仿射定向Brauer范畴及其分圆商的一个基本定理。 Zbl 1419.18011号
布伦丹,乔纳森;来吧,乔纳森;纳什,大卫;雷诺兹,安德鲁
16
2017
有限量化模型的发现技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
SMT解决方案的归纳法。 Zbl 1432.68418号
雷诺兹,安德鲁;昆卡,维克多
9
2015
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
9
2015
重新访问枚举实例化。 Zbl 1423.68468号
雷诺兹,安德鲁;巴博萨,哈尼尔;方丹,帕斯卡
7
2018
反例引导实例化求解量化线性算法。 Zbl 1377.68138
雷诺兹,安德鲁;国王,蒂姆;昆卡,维克多
6
2017
使用逻辑框架进行SMT验证检查。 Zbl 1284.68521号
树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔
6
2013
将SMT求解器扩展到高阶逻辑。 Zbl 07178968
巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克
5
2019
通过E-匹配确定局部理论扩展。 兹布1381.68280
班萨尔,克希提;雷诺兹,安德鲁;国王,蒂姆;巴雷特,克拉克;维斯,托马斯
5
2015
分离逻辑的Bernays-Schönfinkel-Ramsey片段中的推理。 Zbl 06687371
雷诺兹,安德鲁;Iosif,拉杜;塞尔维亚人,克里斯蒂娜
4
2017
一个新的决策集中的有限基数和一个新的过程。 Zbl 1475.68430
班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
4
2016
SMT解算器中(co)数据类型的决策过程。 Zbl 1465.68297
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安
2015
非线性抛物型方程解的渐近性态。 中银0236.35004
雷诺兹,A。
1972
具有自由变量的同余闭包。 Zbl 1452.68113
巴博萨,哈尼尔;方丹,帕斯卡;雷诺兹,安德鲁
2017
SMT中分离逻辑的一种判定过程。 Zbl 1398.68486
雷诺兹,安德鲁;Iosif,拉杜;塞尔维亚人,克里斯蒂娜;国王,蒂姆
2016
SMT中递归函数的模型发现。 Zbl 1475.68448号
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔
2016
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
皮尔士的科学形而上学。机会、法律和进化的哲学。 Zbl 1025.03003
雷诺兹,安德鲁
2
2002
SMT求解器中位宽度无关的证明。 Zbl 07178987
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐约尼;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233
诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
用扩展设计理论求解器。 Zbl 06821625
雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克
2
2017
无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号
梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2015
SMT中的关系约束求解。 Zbl 06778402
孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2017
利用可逆条件求解量化位向量约束。 Zbl 07388006
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
2
2021
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2019
具有共享选择器的数据类型。 Zbl 06958125
雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克
1
2018
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2016
SMT解算器中(co)数据类型的决策过程。 Zbl 1410.68337
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安
1
2017
利用可逆条件求解量化位向量约束。 Zbl 07388006
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
2
2021
将SMT求解器扩展到高阶逻辑。 Zbl 07178968
巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克
5
2019
SMT求解器中位宽度无关的证明。 Zbl 07178987
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐哈尔,尤尼;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233
诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2019
重新访问枚举实例化。 Zbl 1423.68468号
雷诺兹,安德鲁;巴博萨,哈尼尔;方丹,帕斯卡
7
2018
具有共享选择器的数据类型。 Zbl 06958125
雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克
1
2018
仿射定向Brauer范畴及其分圆商的一个基本定理。 Zbl 1419.18011号
布伦丹,乔纳森;来吧,乔纳森;纳什,大卫;雷诺兹,安德鲁
16
2017
反例引导实例化求解量化线性算法。 Zbl 1377.68138
雷诺兹,安德鲁;国王,蒂姆;昆卡,维克多
6
2017
分离逻辑的Bernays-Schönfinkel-Ramsey片段中的推理。 Zbl 06687371
雷诺兹,安德鲁;Iosif,拉杜;塞尔维亚人,克里斯蒂娜
4
2017
具有自由变量的同余闭包。 Zbl 1452.68113
巴博萨,哈尼尔;方丹,帕斯卡;雷诺兹,安德鲁
2017
用扩展设计理论求解器。 Zbl 06821625
雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克
2
2017
SMT中的关系约束求解。 Zbl 06778402
孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2017
SMT解算器中(co)数据类型的决策过程。 6833ZB1417升
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安
1
2017
SMT中有限集和基数约束的一种新的决策过程。 Zbl 1475.68430
班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
4
2016
SMT中分离逻辑的一种判定过程。 Zbl 1398.68486
雷诺兹,安德鲁;Iosif,拉杜;塞尔维亚人,克里斯蒂娜;国王,蒂姆
2016
SMT中递归函数的模型发现。 Zbl 1475.68448号
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔
2016
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2016
SMT解决方案的归纳法。 Zbl 1432.68418号
雷诺兹,安德鲁;昆卡,维克多
9
2015
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
9
2015
通过E-匹配确定局部理论扩展。 兹布1381.68280
班萨尔,克希提;雷诺兹,安德鲁;国王,蒂姆;巴雷特,克拉克;维斯,托马斯
5
2015
SMT解算器中(co)数据类型的决策过程。 Zbl 1465.68297
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安
2015
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号
梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2015
有限量化模型的发现技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
使用逻辑框架进行SMT验证检查。 68524升1284
树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔
6
2013
皮尔士的科学形而上学。机会、法律和进化的哲学。 Zbl 1025.03003
雷诺兹,安德鲁
2
2002
非线性抛物型方程解的渐近性态。 中银0236.35004
雷诺兹,A。
1972
全部的 前5名

被162位作者引用

13 雷诺兹,安德鲁
9 蒂内利,塞萨尔
8 巴雷特,克拉克W。
8 布兰切特,贾斯敏·克里斯蒂安
6 布伦丹,乔纳森
4 艾森巴德,Inna Entova
4 尼美兹,艾娜
4 普莱纳,马蒂亚斯
Demri,Stéphane P。
威慑,摩根
弗勒里,马蒂亚斯
吉尔迪,西尔维奥
斯特罗佩尔,卡特琳娜H。
图雷特,索菲
2 阿尔贝蒂,弗朗西斯科
2 班萨尔,克希提
2 巴博萨,哈尼尔
2 本特坎普,亚历山大
2 克莱森,科恩
2 克里斯蒂娅,马克西米利亚诺
2 克鲁恩斯,西蒙
2 德安吉丽斯,伊曼纽尔
2 菲洛梅诺,阿尔多
2 费奥拉万蒂,法比奥
2 方丹,帕斯卡
2 Iosif,拉杜
2 昆卡,维克多
2 梁天一
2 帕加尼,埃琳娜
2 普罗埃蒂,毛里齐奥
2 罗西,詹弗兰科
2 芮,和兵
2 萨维奇,阿利斯泰尔
2 谢尔加诺娃,维拉诉。
2 宋琳亮
2 茨卡里兹,内斯坦
2 瓦克米罗维奇,佩塔
1 阿莱奥姆,克莱门特
1 阿鲁尔,拉吉耶夫
1 阿塞利,文琴佐
1 贝克曼,彼得
1 贝克,塞尔基
1 巴拉戈维奇,玛蒂娜
1 本斯穆勒,克里斯托夫·埃瓦尔德
1 比尔,阿明
1 Böhme,萨沙
1 博斯特伦,庞图斯
1 波兹加,马吕斯
1 布朗伯格,马丁
1 蔡,邓波
1 基哈尼,扎卡里亚
1 来吧,乔纳森
1 康臣,西尔文
1 科特斯,阿戈斯蒂诺
1 多尔蒂,扎吉
1 戴维森,尼古拉斯
1 德沙奈斯,马丁
1 渣滓,克莱尔
1 艾伯纳,加布里埃尔
1 伊希尼姆,姆纳乔
1 艾瑞格,迈克尔
1 埃利斯,亚历山大P。
1 恩斯特,吉顿
1 埃蒂戈夫,帕维尔·伊里奇
1 费德约科维奇,格里戈里
1 费尔德曼,约坦·M·Y。
1 费奥里,阿尔伯托
1 弗朗西斯,迈克尔H。
1 盖克,安德鲁
1 加尔米切,迪迪埃
1 高萌萌
1 顾,明
1 哈拉切娃,伊娃
1 花冈,戈奇罗
1 哈通,冈纳
1 他,费
1 亨尼格,约翰娜M。
1 玛莉,J.J。
1 霍尼克,约琴
1 霍佐娃,佩特拉
1 我,梅生
1 尼尔,伊梅曼
1 杰克逊,丹尼尔
1 杰哈,苏米特
1 美国农业部约翰逊
1 凯德尔,比约恩
1 坎普,马吕斯
1 康恩苏克
1 约翰尼斯·卡尼格
1 国王,蒂姆
1 北川,福佑吉
1 科赫,亚历山大K。
1 科赫,杰西卡
1 科斯金,埃里克
1 科娃,劳拉·伊尔迪科
1 克拉萨纳基斯,伊曼努伊尔
1 库贾瓦,乔纳森·罗伯特
1 拉奇·温德林,多米尼克
1 乐广路
1 莱茨特,盖尔
...还有62位作者

按年份列出的引文