默认搜索操作

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

问别人

2018年第9届IJCAR：英国牛津

>主页 >会议和研讨会 >国际JCAR

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2018
迪迪埃·加尔米奇,斯蒂芬·舒尔茨,罗伯托·塞巴斯蒂亚尼:
自动推理——2018年第九届国际联合会议，IJCAR，作为联邦逻辑会议的一部分，2018年7月14日至17日在英国牛津举行，会议记录。计算机科学课堂讲稿10900,施普林格 2018，国际标准图书编号978-3-319-94204-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LagniezBLM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LagniezBLM18
Jean-Marie Lagniez女士,丹尼尔·勒贝雷,蒂亚戈·德利马,Valentin Montmirail公司:
求解最小S5可满足性问题的一种基于假设的方法。 1-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZhaoS18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZhaoS18
赵仪征,雷娜特·施密特:
FAME：表达描述逻辑中语义遗忘的自动化工具。 19-27
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BentkampBCW18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBCW18
亚历山大·本特坎普,贾斯敏·克里斯蒂安·布兰切特,西蒙·克鲁恩斯,乌韦·沃尔德曼:
Lambda-Free高阶逻辑的叠加。 28-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/汉努拉18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HannulaL18
米卡·汉努拉,塞巴斯蒂安链接:
关于关键点集的自动推理。 47-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LettmannP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LettmannP18
迈克尔·彼得·莱特曼,尼古拉斯·佩尔蒂埃:
缩小证明尺寸的表格微积分。 64-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RappM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RappM18
弗兰齐斯卡·拉普,阿尔特·米德尔多普:
福特2.0。 81-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchlichtkrullBT18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchlichtkrullBT18
安德斯·施利奇特克鲁尔,贾斯敏·克里斯蒂安·布兰切特,德米特里·特拉泰尔,乌韦·沃尔德曼:
将Bachmair和Ganzinger的有序分辨率校准器正式化。 89-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SteenB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SteenB18
亚历山大·斯汀,克里斯托夫·本兹穆勒:
高阶探测仪Leo-III。 108-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DawsonDG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DowsonDG18
杰里米·道森,纳丘姆·德肖维茨,拉杰夫·戈尔:
基础良好的工会。 117-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FazekasBB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FazekasBB18
卡塔琳·法泽卡斯,法希姆·巴克斯,阿明·比尔:
最大可满足模理论的隐式命中集算法。 134-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ConchonDZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ConchonDZ18
西尔万·康雄,大卫·德克勒克,法提哈·扎伊迪:
隔间-W公司：弱内存上的参数化模型检查。 152-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LonsingE18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LonsingE18
弗洛里安·朗辛,乌韦·埃格利:
QRAT+：通过更强大的QBF冗余属性推广QRAT。 161-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MelquiondR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MelquiondR18
纪尧姆·梅尔金德,拉斐尔·里乌·赫尔夫特:
反射证明的Why3框架及其在GMP算法中的应用。 178-193
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FingerP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FingerP18
马塞洛·芬格,桑德罗·普雷托:
可能有一半是真的：关于Łukasiewicz无穷值逻辑的概率可满足性。 194-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Platzer18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Platzer18
安德烈·普拉泽:
微分对策逻辑的统一替代。 211-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KanovichKNS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KanovichKNS18
马克斯·卡诺维奇,斯蒂芬·库兹涅佐夫,维维克·尼甘姆,安德烈·塞德洛夫:
具有交换次指数和非交换次指数的逻辑框架。 228-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZeljicBWR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZeljicBWR18
Aleksandar Zeljic先生,彼得·贝克曼,克里斯托夫·温特斯泰格,菲利普·吕默:
使用UppSAT探索浮点算法的近似。 246-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BodirskyG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BodirskyG18
曼纽尔·博德斯基,约翰内斯·格雷纳:
定性约束满足问题组合的复杂性。 263-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimPS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimPS18
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,亚尼斯·塞拉米:
蕴涵生成模理论的一般框架。 279-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CiobacaL18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CiobacaL18
斯特凡·西奥巴,多雷尔·卢卡努:
一种证明逻辑约束条件重写系统可达性的共导方法。 295-311
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GeMLZM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GeMLZM18
寸景阁,马菲菲,田柳,张健（Jian Zhang）,马旭通:
一种新的近似模型计数概率算法。 312-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bromberger18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bromberger18
马丁·布隆伯格:
将无界线性混合算法问题简化为有界问题。 329-345
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HirokawaNM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HirokawaNM18
Nao Hirokawa先生,朱利安·纳格尔,阿尔特·米德尔多普:
Cops和CoCoWeb：汇流工具的基础设施。 346-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HuangMGZZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HuangMGZZ18
裴黄,马菲菲,寸景阁,张健（Jian Zhang）,张汉涛:
利用可满足性检验研究幂等拟群的大集的存在性。 354-369
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BlanchettePR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BlanchettePR18
贾斯敏·克里斯蒂安·布兰切特,尼古拉斯·佩尔蒂埃,西蒙·罗比拉德:
与数据类型和Codatatypes重叠。 370-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ClaessenS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ClaessenS18
科恩·克莱森,尼古拉斯·斯莫尔博内:
赤道逻辑中一阶Horn公式的有效编码。 388-404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KotelnikovKV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KotelnikovKV18
叶夫根尼·科特利尼科夫,劳拉·科瓦奇,安德烈·沃伦科夫:
对紧急程序的下一状态关系的愚蠢编码。 405-421
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Larchey-Wendling公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Larchey-Wendling18
Dominique Larchey-Wendling公司:
通过无冗余证明搜索进行建设性决策。 422-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JeannerodT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JeannerodT18
尼古拉斯·珍妮罗德,拉尔夫·特雷恩:
具有更新的特征树代数的一阶理论的判定。 439-454
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KatelaanJW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KatelaanJW18
延斯·卡特兰,德扬·约万诺维奇,乔治·魏森巴赫:
数据分离逻辑：小型模型和自动化。 455-471
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WinklerM18号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WinklerM18
莎拉·温克勒,乔治·莫瑟:
MdMax：最大有序完成工具。 472-480
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AcclavioS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AclavioS18
马泰奥·阿克拉维奥,Lutz Stra汉堡:
从句法证明到组合证明。 481-497
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nalon第18页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NalonP18网站
科劳迪亚·纳隆,德克·帕丁森:
优先逻辑的基于分辨率的微积分。 498-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KieslRH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KieslRH18
本杰明·基尔,阿德里安·雷博拉·帕多,Marijn J.H.鞋垫:
扩展分辨率模拟DRAT。 516-531
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZhanH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZhanH18
伯华詹,马克西米利安·哈斯贝克:
在Isabelle中验证强制程序的渐近时间复杂性。 532-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Hoenicke18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HoenickeS18
Jochen Hoenicke公司,坦尼娅·辛德勒:
阵列理论的有效插值。 549-565
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PiotrowskiU18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PiotrowskiU18
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
ATPboost：具有ATP反馈的二进制设置中的学习前提选择。 566-574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MullerRK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MullerRK18
丹尼斯·米勒,弗洛里安·拉贝,迈克尔·科尔哈斯:
理论作为类型。 575-590
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ReynoldsVBTB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ReynoldsVBTB18
安德鲁·雷诺兹,阿尔琼·维斯瓦纳坦,哈尼尔·巴博萨,塞萨尔·蒂内利,克拉克·W·巴雷特:
具有共享选择器的数据类型。 591-608
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KazakovS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KazakovS18
叶夫根尼·哈萨克夫,彼得·斯科科夫斯克:
使用分辨率枚举对正。 609-626
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/IgnatievPNM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/IgnatievPNM18
阿列克谢·伊格纳提耶夫,菲利佩·佩雷拉,尼娜·纳罗季斯卡,乔安·马奎斯·西尔瓦:
一种基于SAT的学习可解释决策集的方法。 627-645
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HoAKMTN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HoAKMTN18
Son Ho先生,奥斯卡·亚伯拉罕森,拉马纳·库马尔,马格努斯·奥·米林,Yong Kiam Tan先生,迈克尔·诺里什:
从一元HOL函数证明生成具有I/O和局部状态的CakeML。 646-662
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/埃尔南德斯K18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HernandezK18网址
朱利奥·塞萨尔·洛佩斯·埃尔南德斯,康斯坦丁柯罗文:
大理论推理的抽象精炼框架。 663-679
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/UrbaniKJDC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/UrbaniKJDC18
雅各布·乌尔巴尼,马库斯·克罗奇,塞里尔·雅各布斯,伊琳娜·德拉古斯特,大卫·卡拉尔:
基于VLog系统描述的Horn逻辑高效模型构造。 680-688
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Das18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Das18
阿努帕姆·达斯:
聚焦、MALL和多项式层次结构。 689-705
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PayetS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PayetS18
埃蒂安·佩耶特,福斯托·斯波托:
通过抽象解释和符号表达式检查数组边界。 706-722

管理网站设置

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