Conference on Automated Deduction  - CADE

领  域:  算法与理论
主  页:  http://cade23.ii.uni.wroc.pl/call-for-papers/

论文统计图
相关事件


最新的论文更多>>
The Tree Width of Separation Logic with Recursive Definitions  
Radu Iosif , Adam Rogalewicz , Jiri Simacek
Conference on Automated Deduction  2013
0次引用 0 0
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis  
Serdar Erbatur , Santiago Escobar , Deepak Kapur , Zhi-Qiang Liu , Christopher Lynch , Catherine Meadows , José Meseguer , Paliath Narendran , Sonia Santiago , Ralf Sasse
Conference on Automated Deduction  2013
0次引用 0 0
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into  
Gergely Kovasznai , A. Frohlich , Armin Biere
Conference on Automated Deduction  2013
0次引用 0 0
Automated Reasoning, Fast and Slow  
Natarajan Shankar
Conference on Automated Deduction  2013
0次引用 0 0
Towards Modularly Comparing Programs Using Automated Theorem Provers  
Chris Hawblitzel , Ming Kawaguchi , Shuvendu Lahiri , Henrique Rebêlo
Conference on Automated Deduction  2013
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Geoff Sutcliffe
University of Miami
 
Andrei Voronkov
University of Manchester
 
Christoph Weidenbach
Max Planck Gesellschaft
 
Deepak Kapur
University of New Mexico
 
Michael Kohlhase
Jacobs University Bremen
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜