掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The Bayesian Description Logic BEL
机译:
贝叶斯描述逻辑贝尔
作者:
Ismail Ilkan Ceylan
;
Rafael Penaloza
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
2.
Visibly Linear Temporal Logic
机译:
明显的线性时间逻辑
作者:
Laura Bozzelli
;
Cesar Sanchez
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
3.
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
机译:
Axioms与上下文限制的超高度规则:理论和应用
作者:
Bjorn Lellmann
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
4.
Count and Forget: Uniform Interpolation of SHQ-Ontologies
机译:
计数并忘记:SHQ-onOLOGIES的统一插值
作者:
Patrick Koopmann
;
Renate A. Schmidt
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
5.
Finite Quantification in Hierarchic Theorem Proving
机译:
分层定理证明的有限量化
作者:
Peter Baumgartner
;
Joshua Bax
;
Uwe Waldmann
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
6.
Unified Classical Logic Completeness A Coinductive Pearl
机译:
统一的古典逻辑完整性一个配合珍珠
作者:
Jasmin Christian Blanchette
;
Andrei Popescu
;
Dmitriy Traytel
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
7.
dTL~2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems
机译:
DTL〜2:差分时间动态逻辑,具有混合系统的嵌套时间性
作者:
Jean-Baptiste Jeannin
;
Andre Platzer
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
8.
The Fractal Dimension of SAT Formulas
机译:
饱和公式的分形维数
作者:
Carlos Ansotegui
;
Maria Luisa Bonet
;
Jesus Giraldez-Cru
;
Jordi Levy
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
9.
A Gentle Non-disjoint Combination of Satisfiability Procedures
机译:
一种温和的非脱节组合可取性程序
作者:
Paula Chocron
;
Pascal Fontaine
;
Christophe Ringeissen
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
10.
From Reachability to Temporal Specifications in Cost-Sharing Games
机译:
从成本共享游戏中的到达时间规范
作者:
Guy Avni
;
Orna Kupferman
;
Tami Tamir
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
11.
Terminating Minimal Model Generation Procedures for Propositional Modal Logics
机译:
终止命题模态逻辑的最小模型生成程序
作者:
Fabio Papacchini
;
Renate A. Schmidt
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
12.
Proving Termination and Memory Safety for Programs with Pointer Arithmetic
机译:
用于使用指针算术的程序的终止和内存安全性
作者:
Thomas Stroder
;
Jurgen Giesl
;
Marc Brockschmidt
;
Florian Frohn
;
Carsten Fuhs
;
Jera Hensel
;
Peter Schneider-Kamp
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
13.
Approximations for Model Construction
机译:
模型结构的近似
作者:
Aleksandar Zeljic
;
Christoph M. Wintersteiger
;
Philipp Rummer
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
14.
Clausal Resolution for Modal Logics of Confluence
机译:
汇合的模态逻辑的冠军分辨率
作者:
Claudia Nalon
;
Joao Marcos
;
Clare Dixon
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
关键词:
Normal modal logics;
Combined logics;
Resolution method;
15.
A Rewriting Strategy to Generate Prime Implicates in Equational Logic
机译:
生成素数的重写策略在公式逻辑中含义
作者:
Mnacho Echenim
;
Nicolas Peltier
;
Sophie Tourret
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
16.
QBF Encoding of Temporal Properties and QBF-Based Verification
机译:
QBF编码时间特性和基于QBF的验证
作者:
Wenhui Zhang
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
17.
OTTER Proofs in Tarskian Geometry
机译:
Tarskian几何形状的水獭证明
作者:
Michael Beeson
;
Larry Wos
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
18.
EL-ifying Ontologies
机译:
El-ifalyogologies
作者:
David Carral
;
Cristina Feier
;
Bernardo Cuenca Grau
;
Pascal Hitzler
;
Ian Horrocks
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
19.
SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
机译:
基于SAT的分析纯序列结算的决策程序
作者:
Ori Lahav
;
Yoni Zohar
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
20.
Introducing Quantified Cuts in Logic with Equality
机译:
以平等为逻辑介绍量化切割
作者:
Stefan Hetzl
;
Alexander Leitsch
;
Giselle Reis
;
Janos Tapolczai
;
Daniel Weller
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
21.
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL~+
机译:
基于TableAux的最佳决策程序,用于在交替时间逻辑ATL〜+中测试可靠性
作者:
Serenella Cerrito
;
Amelie David
;
Valentin Goranko
会议名称:
《International Joint Conference on Automated Reasoning》
|
2014年
22.
nanoCoP: A Non-clausal Connection Prover
机译:
纳诺克:非锁友联系证明
作者:
Jens Otten
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Non-clausal;
Connection;
Prover;
23.
Internal Guidance for Satallax
机译:
Satallax的内部指导
作者:
Michael F?rber
;
Chad Brown
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Internal;
Guidance;
Satallax;
24.
FORT 2.0
机译:
堡垒2.0
作者:
Franziska Rapp
;
Aart Middeldorp
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
25.
Cops and CoCoWeb: Infrastructure for Confluence Tools
机译:
警察和CoCoweb:汇合工具的基础设施
作者:
Nao Hirokawa
;
Julian Nagele
;
Aart Middeldorp
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
26.
Cubicle-W: Parameterized Model Checking on Weak Memory
机译:
Cubicle-W:弱存储器的参数化模型检查
作者:
Sylvain Conchon
;
David Declerck
;
Fatiha Zaidi
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
关键词:
Parameterized model checking;
MCMT;
SMT Weak memory;
27.
Efficient Model Construction for Horn Logic with VLog System Description
机译:
VLOG系统描述喇叭逻辑的高效模型施工
作者:
Jacopo Urbani
;
Markus Krotzsch
;
Ceriel Jacobs
;
Irina Dragoste
;
David Carral
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
28.
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics
机译:
名声:在表达描述逻辑中的语义遗忘自动化工具
作者:
Yizheng Zhao
;
Renate A. Schmidt
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
29.
The Higher-Order Prover Leo-III
机译:
高阶箴言leo-iii
作者:
Alexander Steen
;
Christoph Benzmuller
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
30.
MaedMax: A Maximal Ordered Completion Tool
机译:
maedmax:一个最大有序的完成工具
作者:
Sarah Winkler
;
Georg Moser
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
31.
ATPBOOST: Learning Premise Selection in Binary Setting with ATP Feedback
机译:
ATPBoost:使用ATP反馈中的二进制设置学习前提
作者:
Bartosz Piotrowski
;
Josef Urban
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
32.
Uniform Substitution for Differential Game Logic
机译:
用于差异游戏逻辑的均匀替换
作者:
Andre Platzer
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
33.
Probably Half True: Probabilistic Satisfiability over Lukasiewicz Infinitely-Valued Logic
机译:
大概的一半是真:Lukasiewicz无限值逻辑的概率可靠性
作者:
Marcelo Finger
;
Sandro Preto
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
34.
Superposition with Datatypes and Codatatypes
机译:
与数据类型和编码型叠加
作者:
Jasmin Christian Blanchette
;
Nicolas Peltier
;
Simon Robillard
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
35.
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
机译:
正式化Bachmair和Ganzinger的订购决议
作者:
Anders Schlichtkrull
;
Jasmin Christian Blanchette
;
Dmitriy Traytel
;
Uwe Waldmann
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
36.
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
机译:
通过满足性测试调查大型IDEMPOTEN Quasigroups的存在
作者:
Pei Huang
;
Feifei Ma
;
Cunjing Ge
;
Jian Zhang
;
Hantao Zhang
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
37.
A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms
机译:
一个Whe3反射证明的框架及其对GMP算法的应用
作者:
Guillaume Melquiond
;
Raphael Rieu-Helft
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
关键词:
Decision procedures;
Proofs by reflection Deductive program verification;
Nonlinear integer arithmetic;
38.
A Generic Framework for Implicate Generation Modulo Theories
机译:
逻辑产生模态理论的通用框架
作者:
Mnacho Echenim
;
Nicolas Peltier
;
Yanis Sellami
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
39.
Constructive Decision via Redundancy-Free Proof-Search
机译:
通过无冗余校正搜索的建设性决策
作者:
Dominique Larchey-Wendling
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
关键词:
Constructive decidability;
Relevance logic Redundancy-free proof-search;
Almost full relations;
40.
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle
机译:
验证伊莎贝尔势在必行计划的渐近时间复杂性
作者:
Bohua Zhan
;
Maximilian P. L. Haslbeck
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
关键词:
Isabelle;
Time complexity analysis;
Separation logic Program verification;
41.
Efficient Encodings of First-Order Horn Formulas in Equational Logic
机译:
一阶喇叭公式在公式逻辑中的高效编码
作者:
Koen Claessen
;
Nicholas Smallbone
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
42.
A FOOLish Encoding of the Next State Relations of Imperative Programs
机译:
愚蠢的命运计划的州关系
作者:
Evgenii Kotelnikov
;
Laura Kovacs
;
Andrei Voronkov
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
43.
Extended Resolution Simulates DRAT
机译:
扩展分辨率模拟DRAT
作者:
Benjamin Kiesl
;
Adrian Rebola-Pardo
;
Marijn J. H. Heule
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
44.
Well-Founded Unions
机译:
成立的工会
作者:
Jeremy Dawson
;
Nachum Dershowitz
;
Rajeev Gore
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
45.
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
机译:
决定具有更新的特征树代数的一阶理论
作者:
Nicolas Jeannerod
;
Ralf Treinen
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
46.
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem
机译:
基于假设的方法,用于解决最小S5可满足性问题
作者:
Jean-Marie Lagniez
;
Daniel Le Berre
;
Tiago de Lima
;
Valentin Montmirail
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
关键词:
Modal logic;
S5;
Incremental SAT;
Minimisation;
47.
Efficient Interpolation for the Theory of Arrays
机译:
阵列理论的高效插值
作者:
Jochen Hoenicke
;
Tanja Schindler
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
48.
A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems
机译:
从无界线性混合算术问题的减少到有界问题
作者:
Martin Bromberger
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
关键词:
Linear arithmetic;
Integer arithmetic Mixed arithmetic;
SMT;
Linear Transformations;
Constraint solving;
49.
Enumerating Justifications Using Resolution
机译:
使用分辨率枚举理由
作者:
Yevgeny Kazakov
;
Peter Skocovsky
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
50.
A Tableaux Calculus for Reducing Proof Size
机译:
用于减少证明尺寸的Tableaux结石
作者:
Michael Peter Lettmann
;
Nicolas Peltier
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
51.
A New Probabilistic Algorithm for Approximate Model Counting
机译:
一种新的近似模型计数概率算法
作者:
Cunjing Ge
;
Feifei Ma
;
Tian Liu
;
Jian Zhang
;
Xutong Ma
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
52.
Datatypes with Shared Selectors
机译:
具有共享选择器的数据类型
作者:
Andrew Reynolds
;
Arjun Viswanathan
;
Haniel Barbosa
;
Cesare Tinelli
;
Clark Barrett
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
53.
A Separation Logic with Data: Small Models and Automation
机译:
具有数据的分离逻辑:小型和自动化
作者:
Jens Katelaan
;
Dejan Jovanovic
;
Georg Weissenbacher
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
54.
Focussing, MALL and the Polynomial Hierarchy
机译:
聚焦,商场和多项式等级
作者:
Anupam Das
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
55.
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions
机译:
用Monadic Hol功能用I / O和局部函数的证明生产Cakem1
作者:
Son Ho
;
Oskar Abrahamsson
;
Ramana Kumar
;
Magnus O. Myreen
;
Yong Kiam Tan
;
Michael Norrish
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
56.
Exploring Approximations for Floating-Point Arithmetic Using UppSAT
机译:
uppsat探索浮点算法的近似
作者:
Aleksandar Zeljic
;
Peter Backeman
;
Christoph M. Wintersteiger
;
Philipp Rummer
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
57.
A Resolution-Based Calculus for Preferential Logics
机译:
基于分辨率的优惠逻辑微积分
作者:
Claudia Nalon
;
Dirk Pattinson
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
58.
Complexity of Combinations of Qualitative Constraint Satisfaction Problems
机译:
定性约束满足问题组合的复杂性
作者:
Manuel Bodirsky
;
Johannes Greiner
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
59.
Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories
机译:
隐式击球设定算法,最大可满足的模数理论
作者:
Katalin Fazekas
;
Fahiem Bacchus
;
Armin Biere
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
60.
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property
机译:
Backs +:通过更强大的QBF冗余属性概括了Bowards
作者:
Florian Lonsing
;
Uwe Egly
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
61.
A SAT-Based Approach to Learn Explainable Decision Sets
机译:
一种基于SAT的学习解释决策方法
作者:
Alexey Ignatiev
;
Filipe Pereira
;
Nina Narodytska
;
Joao Marques-Silva
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
62.
From Syntactic Proofs to Combinatorial Proofs
机译:
从句法证明到组合证明
作者:
Matteo Acclavio
;
Lutz Strassburger
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
63.
Theories as Types
机译:
作为类型的理论
作者:
Dennis Muller
;
Florian Rabe
;
Michael Kohlhase
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
64.
A Logical Framework with Commutative and Non-commutative Subexponentials
机译:
具有换向和非换向子折叠的逻辑框架
作者:
Max Kanovich
;
Stepan Kuznetsov
;
Vivek Nigam
;
Andre Scedrov
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
65.
Automated Reasoning About Key Sets
机译:
关于关键套装的自动推理
作者:
Miika Hannula
;
Sebastian Link
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
66.
An Abstraction-Refinement Framework for Reasoning with Large Theories
机译:
具有大理论的推理的抽象精炼框架
作者:
Julio Cesar Lopez Hernandez
;
Konstantin Korovin
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
关键词:
Automated reasoning;
Large theories Abstraction-refinement;
67.
Superposition for Lambda-Free Higher-Order Logic
机译:
Lambda的超级高级逻辑
作者:
Alexander Bentkamp
;
Jasmin Christian Blanchette
;
Simon Cruanes
;
Uwe Waldmann
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
68.
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems
机译:
在逻辑约束期权重写系统中证明可达性特性的调控方法
作者:
Stefan Ciobaca
;
Dorel Lucanu
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
69.
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
机译:
通过抽象解释和符号表达式检查阵列边界
作者:
Etienne Payet
;
Fausto Spoto
会议名称:
《International Joint Conference on Automated Reasoning》
|
2018年
70.
Effective Normalization Techniques for HOL
机译:
HOL的有效标准化技术
作者:
Max Wisniewski
;
Alexander Steen
;
Kim Kern
;
Christoph Benzmüller
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Effective Normalization;
Techniques;
HOL;
71.
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
机译:
Gen2sat:用于在分析纯序列结算中决定衍生性的自动化工具
作者:
Yoni Zohar
;
Anna Zamansky
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Automated Tool;
Deciding Derivability;
Analytic Pure;
72.
System Description: GAPT 2.0
机译:
系统描述:GAPT 2.0
作者:
Gabriel Ebner
;
Stefan Hetzl
;
Giselle Reis
;
Martin Riener
;
Simon Wolfsteiner
;
Sebastian Zivota
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
System;
Description;
GAPT;
73.
Translating Scala Programs to Isabelle/HOL System Description
机译:
将Scala程序转换为Isabelle / HOL系统描述
作者:
Lars Hupel
;
Viktor Kuncak
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Isabelle;
HOL;
Scala;
Leon;
Compiler;
74.
KSP: A Resolution-Based Prover for Multimodal K
机译:
KSP:用于多式式K的基于分辨率的报告者
作者:
Cláudia Nalon
;
Ullrich Hustadt
;
Clare Dixon
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
describe;
implementation;
hyperresolution-based calculus;
75.
raSAT: An SMT Solver for Polynomial Constraints
机译:
Rasat:用于多项式限制的SMT求解器
作者:
Vu Xuan Tung
;
To Van Khanh
;
Mizuhito Ogawa
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
SMT;
Solver;
Polynomial Constraints;
76.
Nominal Confluence Tool
机译:
名义汇合工具
作者:
Takahito Aoto
;
Kentaro Kikuchi
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Confluence;
Nominal rewriting;
Automation;
Variable binding;
Higher-order rewriting;
77.
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
机译:
内置变体生成和统一,以及他们在Maude 2.7的应用
作者:
Francisco Durán
;
Steven Eker
;
Santiago Escobar
;
Narciso Martí-Oliet
;
José Meseguer
;
Carolyn Talcott
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Built-in Variant Generation;
Unification;
Applications;
78.
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
机译:
SMT中有限集和基数约束的新决策程序
作者:
Kshitij Bansal
;
Andrew Reynolds
;
Clark Barrett
;
Cesare Tinelli
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
consider;
problem;
deciding;
79.
Subsumption Algorithms for Three-Valued Geometric Resolution
机译:
三维几何分辨率的总增量算法
作者:
Hans de Nivelle
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Subsumption;
Algorithms;
Three-Valued Geometric;
80.
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints
机译:
具有数据约束的线性组成分离逻辑的完整决策过程
作者:
Xincai Gu
;
Taolue Chen
;
Zhilin Wu
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Complete Decision;
Procedure;
Linearly Compositional Separation;
81.
Lower Runtime Bounds for Integer Programs
机译:
较低的整数程序的运行时界限
作者:
F. Frohn
;
M. Naaf
;
J. Hensel
;
M. Brockschmidt
;
J. Giesl
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Lower Runtime;
Bounds;
Integer Programs;
82.
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving
机译:
基于饱和度的定理的子句选择启发式的表现
作者:
Stephan Schulz
;
Martin M?hrmann
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Performance;
Clause Selection Heuristics;
Saturation-Based Theorem;
83.
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
机译:
二次多项式不等式和EUF组合的嵌段合成
作者:
Ting Gan
;
Liyun Dai
;
Bican Xia
;
Naijun Zhan
;
Deepak Kapur
;
Mingshuai Chen
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Program verification;
Interpolant;
Concave quadratic polynomial;
Motzkin's theorem;
SOS;
Semi-definite programming;
84.
Model Finding for Recursive Functions in SMT
机译:
SMT中递归函数的模型
作者:
Andrew Reynolds
;
Jasmin Christian Blanchette
;
Simon Cruanes
;
Cesare Tinelli
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Model Finding;
Recursive Functions;
SMT;
85.
A Tableau System for Quasi-Hybrid Logic
机译:
拟混合逻辑的Tableau系统
作者:
Diana Costa
;
Manuel A. Martins
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Hybrid logic;
valuable tool;
specifying relational;
86.
Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition
机译:
具有平行组成的命题动态逻辑的复杂性最佳决策过程
作者:
Joseph Boudou
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Complexity Optimal Decision;
Procedure;
Propositional Dynamic;
87.
Fast Cube Tests for LIA Constraint Solving
机译:
LIA约束求解的快速立方体测试
作者:
Martin Bromberger
;
Christoph Weidenbach
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Linear arithmetic;
SMT;
Integer arithmetic;
Constraint solving;
88.
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
机译:
诱导索引嵌套顺序的句法切割消除
作者:
Revantha Ramanayake
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Proof theory;
Cut-elimination;
Nested labelled sequents;
Modal logic;
89.
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi
机译:
使用显示Calculi的子结构逻辑的机器检查的插值定理
作者:
Jeremy E. Dawson
;
James Brotherston
;
Rajeev Goré
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Craig interpolation;
Display logic;
Interactive theorem proving;
90.
Logic Proofs for Cyber-Physical Systems
机译:
网络物理系统的逻辑和证明
作者:
André Platzer
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Cyber-physical systems (CPS);
combine cyber aspects;
communication;
91.
On Interpolation and Symbol Elimination in Theory Extensions
机译:
论理论延伸中的插值和符号消除
作者:
Viorica Sofronie-Stokkermans
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Interpolation;
Symbol Elimination;
Theory Extensions;
92.
Schematic Cut Elimination and the Ordered Pigeonhole Principle
机译:
剪切消除和有序鸽孔原理
作者:
David M. Cerna
;
Alexander Leitsch
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Schematic;
Cut Elimination;
Ordered Pigeonhole Principle;
93.
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
机译:
间隔时间逻辑模型检查:良好和坏HS碎片之间的边界
作者:
Laura Bozzelli
;
Alberto Molinari
;
Angelo Montanari
;
Adriano Peron
;
Pietro Sala
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
model checking problem;
thoroughly;
context;
94.
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
机译:
验证的SAT Solver框架,具有学习,忘记,重启和增量
作者:
Jasmin Christian Blanchette
;
Mathias Fleury
;
Christoph Weidenbach
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
formal framework;
CDCL;
conflict-driven clause learning;
95.
Intuitionistic Layered Graph Logic
机译:
直觉分层图形逻辑
作者:
Simon Docherty
;
David Pym
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Intuitionistic;
Layered;
Graph Logic;
96.
Colors Make Theories Hard
机译:
颜色使理论很努力
作者:
Roberto Sebastiani
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
satisfiability problem;
conjunctions;
quantifier-free literals;
97.
Counting Constraints in Flat Array Fragments
机译:
扁平阵列碎片中的约束
作者:
Francesco Alberti
;
Silvio Ghilardi
;
Elena Pagani
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
fragment;
Presburger arithmetic;
symbols;
98.
Selecting the Selection
机译:
选择选择
作者:
Kry?tof Hoder
;
Giles Reger
;
Martin Suda
;
Andrei Voronkov
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Modern;
saturation-based Automated;
Theorem Provers;
99.
Model Checking Parameterised Multi-token Systems via the Composition Method
机译:
模型通过组合方法检查参数化的多脚音系统
作者:
Benjamin Aminof
;
Sasha Rubin
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
Model Checking Parameterised Multi-token;
Systems via;
Composition Method;
100.
Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems
机译:
对青少年进行比赛 - 基准大学前问题的基准机械化数学
作者:
Takuya Matsuzaki
;
Hidenao Iwane
;
Munehiro Kobayashi
;
Yiyang Zhan
;
Ryoya Fukasaku
;
Jumma Kudo
;
Hirokazu Anai
;
Noriko H. Arai
会议名称:
《International Joint Conference on Automated Reasoning》
|
2016年
关键词:
paper introduces;
benchmark problem;
library;
意见反馈
回到顶部
回到首页