默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

帕斯卡·方丹

>主页 >珀森斯

人员信息

附属： 比利时列日大学
附属： INRIA，法国

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wia/BoigelotFV24型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wia/BoigelotFV24网址
伯纳德·博伊格洛特,帕斯卡·方丹,Baptiste Vergain公司:
实数和理性索引词上的自动机的非空性测试。 CIAA公司 2024:94-108
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2406-06108
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2406-06108
杰夫·萨特克利夫,亚历山大·斯汀,帕斯卡·方丹:
新TPTP解释格式。 CoRR公司 abs/2406.06108(2024)
2023
[公元45年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BoigelotFV23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BoigelotFV23
伯纳德·博伊格洛特,帕斯卡·方丹,Baptiste Vergain公司:
带有未解释一元谓词的实域上差异逻辑的判定性。 CADE公司 2023:542-559
[公元44年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SteenSFM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SteenSFM23网站
亚历山大·斯汀,杰夫·萨特克利夫,帕斯卡·方丹,麦克基欧恩:
类型化一阶逻辑Tarskian解释的表示、验证和可视化。 LPAR公司 2023:369-385
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wia/BoigelotFV23型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wia/BoigelotFV23
伯纳德·博伊格洛特,帕斯卡·方丹,Baptiste Vergain公司:
自动机上的通用一阶量化。 CIAA公司 2023:91-102
[电子9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-12680
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-12680
丹尼尔·南特斯·索布里尼奥,帕斯卡·方丹:
第17届逻辑和语义框架应用国际研讨会论文集，LSFA 2022，巴西贝洛奥里藏特（混合），2022年9月23日至24日。 EPTCS系统376,2023 [目录]
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2305-15059
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-15059
伯纳德·博伊格洛特,帕斯卡·方丹,Baptiste Vergain公司:
带有未解释一元谓词的实域上差异逻辑的判定性。 CoRR公司 abs/2305.15059(2023)
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/corr/abs-2306-04210
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-04210
伯纳德·博伊格洛特,帕斯卡·方丹,Baptiste Vergain公司:
自动机上的一阶量化。 CoRR公司 abs/2306.04210(2023)
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/BonacinaFNSD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/BonacinaFNSD23
玛丽亚·保拉·博纳西纳,帕斯卡·方丹,科劳迪亚·纳隆,克劳迪娅·肖恩,马丁·德沙奈斯:
下一代演绎系统：从合成到合成（达格斯图尔研讨会23471）。达格斯图尔报告 13(11):130-150(2023)
2022
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/ShengZRLFB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ShengZRLFB22
英生,尤尼·佐哈尔,克里斯托夫·林盖森,简·兰格,帕斯卡·方丹,克拉克·W·巴雷特:
代数数据类型的礼貌组合。 J.汽车。原因。 66(三):331-355(2022)
[公元42年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/scsquare/BoigelotFV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scsquare/BoigelotFV22
伯纳德·博伊格洛特,帕斯卡·方丹,巴普蒂斯特·维加因:
带有一元谓词的差分逻辑的判定性。 SC-方形@FLoC 2022:25-36
2021
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Fontain21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Fontaine21
帕斯卡·方丹:
前言：2019年CADE扩展论文精选专刊。 J.汽车。原因。 65(7):891-892(2021)
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/JanotaBFR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JanotaBFR21
米科拉斯·加诺塔,哈尼尔·巴博萨,帕斯卡·方丹,安德鲁·雷诺兹:
量词实例化的公平和冒险枚举。 FMCAD公司 2021:256-260
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/FontaineS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/FontaineS21
帕斯卡·方丹,汉斯-约尔格-舒尔:
SMT中通过统一简化量词。 FroCoS公司 2021:232-249
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/0007ZRLFB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/0007ZRLFB21
英生,尤尼·佐哈尔,克里斯托夫·林盖森,简·兰格,帕斯卡·方丹,克拉克·W·巴雷特:
代数数据类型理论的礼貌（扩展摘要）。国际JCAI 2021:4829-4833
[公元38年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/scsquare/BoigelotFV21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scsquare/BoigelotFV21
伯纳德·博伊格洛特,帕斯卡·方丹,Baptiste Vergain公司:
用一元谓词和差分算法判定片断的可满足性（短文）。 SC-方形@SIAMAG公司 2021:18-26
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-02354
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-02354
汉斯·约格·舒尔,马蒂亚斯·弗勒里,哈尼尔·巴博萨,帕斯卡·方丹:
Alethe：面向通用SMT证明格式（扩展抽象）。 PxTP公司 2021:49-54
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-13700
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-13700
米科拉斯·加诺塔,哈尼尔·巴博萨,帕斯卡·方丹,安德鲁·雷诺兹:
量词实例化的公平和冒险枚举。 CoRR公司 abs/2105.13700(2021)
2020
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/ChocronFR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ChocronFR20
保拉·丹妮拉·乔克罗,帕斯卡·方丹,克里斯托夫·林盖森:
具有桥接功能的理论的礼貌和组合方法。 J.汽车。原因。 64(1):97-134(2020)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BarbosaBFF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BarbosaBFF20
哈尼尔·巴博萨,贾斯敏·克里斯蒂安·布兰切特,马蒂亚斯·弗勒里,帕斯卡·方丹:
用于公式处理的可缩放细粒度证明。 J.汽车。原因。 64(三):485-510(2020)
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0007ZRLFB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0007ZRLFB20
英生,尤尼·佐哈尔,克里斯托夫·林盖森,简·兰格,帕斯卡·方丹,克拉克·W·巴雷特:
代数数据类型理论的礼貌。国际JCAR（1） 2020:238-255
[公元35年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/TourretFOB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/TourretFOB20
索菲·图雷特,帕斯卡·方丹,丹尼尔·埃尔·乌拉维,哈尼尔·巴博萨:
通过SAT编码将带自由变量的同余闭包提升为无λ高阶逻辑。表面贴装技术 2020:3-14
[电子8]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2020paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2020paar
帕斯卡·方丹,康斯坦丁柯罗文,伊利亚斯·科齐里亚斯,菲利普·吕默,索菲·图雷特:
2020年，第七届自动推理实用方面研讨会（PAAR）和第五届可满足性检查和符号计算研讨会（SC-Square）的联合会议记录，与第十届国际自动推理联合会议（2020年IJCAR）合办，法国巴黎，2020年6月-7月（虚拟）。 CEUR研讨会记录2752,CEUR-WS.org公司 2020 [目录]
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2004-04854
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-04854
英生,尤尼·佐哈尔,克里斯托夫·林盖森,简·兰格,帕斯卡·方丹,克拉克·W·巴雷特:
代数数据类型理论的礼貌。 CoRR公司 abs/2004.04854(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BonacinaFRT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BonacinaFRT19
玛丽亚·保拉·博纳西纳,帕斯卡·方丹,克里斯托夫·林盖森,塞萨尔·蒂内利:
理论结合：超越平等分享。描述逻辑、理论组合和所有这些 2019:57-89
[电子7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2019
帕斯卡·方丹:
自动扣减-CADE 27-27第27届自动扣减国际会议，巴西纳塔尔，2019年8月27-30日，会议记录。计算机科学课堂讲稿11716,施普林格 2019，国际标准图书编号978-3-030-29435-9 [目录]
2018
【b1】
- 看法
  - 电子版@archives-ouvertes.fr
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/hal/Fontaine18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/hal/Fontaine18
帕斯卡·方丹:
可满足性模理论：最新技术、贡献、项目。（可满足性模数理论：艺术、贡献、项目）。法国南希洛林大学，2018
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aicom/FontaineKSU18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/FontaineKSU18
帕斯卡·方丹,塞萨里·卡利西克,斯蒂芬·舒尔茨,约瑟夫·乌尔班:
自动推理专刊前言。 AI通讯。 31(三):235-236(2018)
[公元33年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/scsquare/FontaineOSKV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scsquare/FontaineOSKV18
帕斯卡·方丹,小川瑞之,托马斯·斯特姆,致Van Khanh,宣统武:
封装计算机代数在非线性SMT中取得了令人惊讶的成功。 SC-方形@FLOC 2018:110
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ReynoldsBF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ReynoldsBF18
安德鲁·雷诺兹,哈尼尔·巴博萨,帕斯卡·方丹:
重新访问枚举实例化。 TACAS（2） 2018:112-131
2017
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/FellnerFP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/FellnerFP17
安德烈亚斯·费尔纳,帕斯卡·方丹,Bruno Woltzenlogel古:
同余闭包的小冲突集生成的NP-完备性。形式方法系统。设计。 51(三):533-544(2017)
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AbrahamA0BBCDEF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AbrahamA0BBCDEF17
埃里卡·阿布拉哈姆,约翰·阿伯特,伯恩德·贝克尔,安娜·玛丽亚·比加蒂,马丁·布莱恩,亚历山德罗·西马蒂,詹姆斯·达文波特,马修·英格兰,帕斯卡·方丹,史蒂文森·弗里斯特,维杰·加内什,阿尔贝托·格里乔,丹尼尔·克罗宁,沃纳·M·塞勒:
SC平方：当可满足性检查和符号计算合力时。拱廊@CADE 2017:6-10
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BlanchetteF0W17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BlanchetteF0W17
贾斯敏·克里斯蒂安·布兰切特,帕斯卡·方丹,斯蒂芬·舒尔茨,乌韦·沃尔德曼:
实现快速交互验证的强大高阶自动化。拱廊@CADE 2017:16-23
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BarbosaBF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BarbosaBF17
哈尼尔·巴博萨,贾斯敏·克里斯蒂安·布兰切特,帕斯卡·方丹:
用于公式处理的可缩放细粒度证明。 CADE公司 2017:398-412
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/FontaineOSV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/FontaineOSV17
帕斯卡·方丹,小川瑞之,托马斯·斯特姆,宣统武:
亚热带可满足性。 FroCoS公司 2017:189-206
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BarbosaFR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BarbosaFR17
哈尼尔·巴博萨,帕斯卡·方丹,安德鲁·雷诺兹:
具有自由变量的同余闭包。 TACAS（2） 2017:214-230
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1712-01486
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1712-01486
哈尼尔·巴博萨,贾斯敏·克里斯蒂安·布兰切特,西蒙·克鲁恩斯,丹尼尔·埃尔·乌拉维,帕斯卡·方丹:
高级SMT的语言和证明（正在进行中）。 PxTP公司 2017:15-22
[电子6]
- 看法
- 出口记录
  dblp键：
  - conf/synasc/2016sc
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/synasc/2016年sc
埃里卡·阿布拉哈姆,詹姆斯·达文波特,帕斯卡·方丹:
与第18届科学计算符号和数值算法国际研讨会（SYNASC 2016）共同举办的第一届可满足性检查和符号计算研讨会论文集，罗马尼亚蒂米索拉，2016年9月24日。 CEUR研讨会记录1804,CEUR-WS.org公司 2017 [目录]
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FontaineO0V17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FontaineO0V17
帕斯卡·方丹,小川瑞之,托马斯·斯特姆,宣统武:
亚热带可满足性。 CoRR公司 abs/1706.09236(2017)
2016
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cca/AbrahamA0BBBCDE16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cca/AbrahamA0BBBCDE16
埃里卡·阿布拉哈姆,约翰·阿伯特,伯恩德·贝克尔,安娜·玛丽亚·比加蒂,马丁·布莱恩,布鲁诺·巴赫伯格,亚历山德罗·西马蒂,詹姆斯·达文波特,马修·英格兰,帕斯卡·方丹,史蒂文森·弗里斯特,阿尔贝托·格里乔,丹尼尔·克罗宁,沃纳·M·塞勒,托马斯·斯特姆:
满意度检查和符号计算。 ACM通信。计算。代数 50(4):145-147(2016)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AbrahamABBBBCDE16配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/AbrahamABBBBCDE16
埃里卡·阿布拉哈姆,约翰·阿伯特,伯恩德·贝克尔,安娜·玛丽亚·比加蒂,马丁·布莱恩,布鲁诺·巴赫伯格,亚历山德罗·西马蒂,詹姆斯·达文波特,马修·英格兰,帕斯卡·方丹,史蒂文森·弗里斯特,阿尔贝托·格里乔,丹尼尔·克罗宁,维尔纳·M·塞勒,托马斯·斯特姆:
联合国安全理事会²：可满足性检查符合符号计算-（项目文件）。 CICM公司 2016:28-43
[电子5]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2016paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2016paar
帕斯卡·方丹,斯蒂芬·舒尔茨,约瑟夫·乌尔班:
2016年7月2日，葡萄牙科英布拉，与国际自动推理联合会议（IJCAR 2016）合办的第五届自动推理实践方面研讨会会议记录。 CEUR研讨会记录1635,CEUR-WS.org公司 2016 [目录]
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AbrahamABBBBCDE16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16
埃里卡·阿布拉哈姆,约翰·阿伯特,伯恩德·贝克尔,安娜·玛丽亚·比加蒂,马丁·布莱恩,布鲁诺·巴赫伯格,亚历山德罗·西马蒂,詹姆斯·达文波特,马修·英格兰,帕斯卡·方丹,史蒂文森·弗里斯特,阿尔贝托·格里乔,丹尼尔·克罗宁,沃纳·M·塞勒,托马斯·斯特姆:
满意度检查和符号计算。 CoRR公司 abs/1607.06945(2016)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AbrahamABBBBCDE16a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16a
埃里卡·阿布拉哈姆,约翰·阿伯特,伯恩德·贝克尔,安娜·玛丽亚·比加蒂,马丁·布莱恩,布鲁诺·巴赫伯格,亚历山德罗·西马蒂,詹姆斯·达文波特,马修·英格兰,帕斯卡·方丹,史蒂文森·弗里斯特,阿尔贝托·格里乔,丹尼尔·克罗宁,沃纳·M·塞勒,托马斯·斯特姆:
满意度检查符合符号计算（项目文件）。 CoRR公司 abs/1607.08028(2016)
2015
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mics/FontainSW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mics/FontaineSW15
帕斯卡·方丹,托马斯·斯特姆,乌韦·沃尔德曼:
特别关注约束和组合的前言。数学。计算。科学。 9(三):265(2015)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/区域FM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/ArecesFM15
卡洛斯·阿雷塞斯,帕斯卡·方丹,斯蒂芬·默兹:
通过SMT求解实现模态可满足性。软件、服务和系统 2015:30-45
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Chocron公司FR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChocronFR15
保拉·丹妮拉·乔克罗,帕斯卡·方丹,克里斯托夫·林盖森:
一种礼貌的非脱节组合方法：重新审视桥接函数理论。 CADE公司 2015:419-433
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/JaroschekDF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/JaroschekDF15
马克西米利安·雅罗斯切克,巴勃罗·费德里科·多巴尔,帕斯卡·方丹:
为冲突集计算采用实量词消除方法。 FroCos公司 2015:151-166
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/ChocronFR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/ChocronFR15
保拉·丹妮拉·乔克罗,帕斯卡·方丹,克里斯托夫·林盖森:
数据结构与桥接理论结合的重写方法。 FroCos公司 2015:275-290
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JaroschekDF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JaroschekDF15
马克西米利安·亚罗斯切克,巴勃罗·费德里科·多巴尔,帕斯卡·方丹:
为冲突集计算采用实量词消除方法。 CoRR公司 abs/1511.01123(2015)
[i1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/AbrahamF0W15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/AbrahamF0W15
埃里卡·阿布拉哈姆,帕斯卡·方丹,托马斯·斯特姆,王东明:
符号计算和可满足性检查（Dagstuhl研讨会15471）。达格斯图尔报告 5(11):71-89(2015)
2014
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/scp/DeharbeFGV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/DeharbeFGV14网站
大卫·戴哈贝,帕斯卡·方丹,尤安·古约特,洛朗·沃辛:
在Rodin中集成SMT求解器。科学。计算。程序。 94:130-143(2014)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChocronFR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChocronFR14
保拉·丹妮拉·乔克罗,帕斯卡·方丹,克里斯托夫·林盖森:
可满足性过程的温和非直接组合。国际JCAR 2014:122-136
2013
[第19条]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/DeharbeFBM13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DeharbeFBM13网址
大卫·戴哈贝,帕斯卡·方丹,丹尼尔·勒贝雷,贝特朗迷宫:
计算素数蕴涵。 FMCAD公司 2013:46-52
[电子4]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2012smt公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012smt
帕斯卡·方丹,阿米特·戈尔:
第十届满意模理论国际研讨会，2012年6月30日至7月1日，英国曼彻斯特SMT。 EPiC计算系列20,Easy椅子 2013 [目录]
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2012paar会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012paar
帕斯卡·方丹,雷娜特·施密特,斯蒂芬·舒尔茨:
2012年6月30日至7月1日，英国曼彻斯特，PAAR-2012，第三次自动推理实践研讨会。 EPiC计算系列21,Easy椅子 2013 [目录]
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/2013
帕斯卡·方丹,克里斯托夫·林盖森,雷娜特·施密特:
联合系统的前沿——第九届国际研讨会，FroCoS 2013，法国南希，2013年9月18-20日。诉讼程序。计算机科学课堂讲稿8152,施普林格 2013，国际标准图书编号978-3-642-40884-7 [目录]
2012
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/OliveiraDF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/OliveiraDF12
迭戈·卡米尼亚·巴博萨·德·奥利维拉,大卫·戴哈贝,帕斯卡·方丹:
通过（模型-）等式传播组合决策过程。科学。计算。程序。 77(4):518-532(2012)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/脱水FGV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/DeharbeFGV12网站
大卫·戴哈贝,帕斯卡·方丹,尤安·古约特,洛朗·沃辛:
Rodin的SMT求解器。 ABZ公司 2012:194-207
[c17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Fontainew12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FontaineMW12
帕斯卡·方丹,斯蒂芬·默兹,克里斯托夫·魏登巴赫:
不相交理论的结合：超越可决定性。国际JCAR 2012:256-270
2011
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DeharbeFMP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DeharbeFMP11
大卫·戴哈贝,帕斯卡·方丹,斯蒂芬·默兹,Bruno Woltzenlogel古:
在SMT问题中利用对称性。 CADE公司 2011:222-236
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FontainMP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FontaineMP11网站
帕斯卡·方丹,斯蒂芬·默兹,Bruno Woltzenlogel古:
通过部分正则化压缩命题分辨率证明。 CADE公司 2011:237-251
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/ArecesF11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/ArecesF11
卡洛斯·阿雷塞斯,帕斯卡·方丹:
结合理论：阿克曼和守卫碎片。 FroCoS公司 2011:40-54
[第13条]
- 看法
  - 电子版@loria.fr
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pxtp/BessonFT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pxtp/BessonFT11
弗雷德里克·贝松,帕斯卡·方丹,洛朗·塞里:
SMT的灵活证明格式：一个建议。 PxTP公司 2011:15-26
[第12条]
- 看法
  - 电子版@loria.fr
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pxtp/脱水FP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pxtp/DeharbeFP11
大卫·戴哈贝,帕斯卡·方丹,Bruno Woltzenlogel古:
SMT证明的量词推理规则。 PxTP公司 2011:33-39
[电子1]
- 看法
- 出口记录
  dblp键：
  - 2011年/2011年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pxtp/2011
帕斯卡·方丹,亚伦·斯塔姆:
2011年8月1日，波兰Wrocław，第一届定理证明交换国际研讨会。 2011 [目录]
2010
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BoutonCDF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BoutonCDF10
托马斯·布顿,迭戈·卡米尼亚,大卫·戴哈贝,帕斯卡·方丹:
GridTPT：用于定理证明器测试的分布式平台。 IJCAR的PAAR 2010:33-39

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/学员/精品店ODF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BoutonODF09
托马斯·布顿,迭戈·卡米尼亚·巴博萨·德·奥利维拉,大卫·戴哈贝,帕斯卡·方丹:
veriT：一个开放、可信和高效的SMT-Solver。 CADE公司 2009:151-156
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/枫丹09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/Fontaine09
帕斯卡·方丹:
一阶逻辑可判定片断的理论组合。 FroCoS公司 2009:263-278
2008
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/OliveiraDF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/OliveiraDF09
迭戈·卡米尼亚·巴博萨·德·奥利维拉,大卫·戴哈贝,帕斯卡·方丹:
通过（模型）等式传播组合决策过程。 SBMF公司 2008:113-128
2007
【c7】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Fontaine07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Fontaine07网址
帕斯卡·方丹:
理论的结合和Bernays Schönfinkel Ramsey类。验证 2007
2006
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/脱烃FRR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/DeharbeFRR06
大卫·戴哈贝,帕斯卡·方丹,西尔维奥·兰伊斯,克里斯托夫·林盖森:
软件形式分析的决策程序。 ICTAC公司 2006:366-370
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FontainEMNT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FontaineMMNT06
帕斯卡·方丹,珍妮·伊夫·马里恩,斯蒂芬·默兹,利昂诺·普伦萨·尼托,阿尔文·费南托（Alwen Fernanto Tiu）:
表达+自动化+稳健性：走向SMT解决方案和交互式证明助理的结合。 TACAS公司 2006:167-181
2004
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FontaineRZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FontaineRZ04
帕斯卡·方丹,西尔维奥·兰伊斯,卡罗格罗·扎尔巴:
将列表与非稳定无限理论相结合。 LPAR公司 2004:51-66
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FontaineG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FontaineG05
帕斯卡·方丹,E.帕斯卡·格里博蒙特:
结合非稳定无限、非一阶理论。 D类/IJCAR的PDPAR 2004:37-51
2003
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FontaineG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FontaineG03
帕斯卡·方丹,E.帕斯卡·格里博蒙特:
准物质化系统不变量验证的判定。 TACAS公司 2003:97-112
2002
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FontaineG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FontaineG02
帕斯卡·方丹,E.帕斯卡·格里博蒙特:
结合理论使用BDD。 LPAR公司 2002:190-201

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。