Semantic Guidance for Saturation Provers

Author(s):  
William McCune
Keyword(s):  
2005 ◽  
Vol 12 (6) ◽  
pp. 1124-1142 ◽  
Author(s):  
Elizabeth Walter ◽  
Paul Dassonville

2011 ◽  
Vol 51 (10) ◽  
pp. 1192-1205 ◽  
Author(s):  
Alex D. Hwang ◽  
Hsueh-Cheng Wang ◽  
Marc Pomplun

Author(s):  
Bo Sun ◽  
Yong Wu ◽  
Yijia Zhao ◽  
Zhuo Hao ◽  
Lejun Yu ◽  
...  

2013 ◽  
Vol 13 (9) ◽  
pp. 1120-1120
Author(s):  
C.-C. Wu ◽  
H.-C. Wang ◽  
M. Pomplun

2021 ◽  
Author(s):  
Feng Chen ◽  
Jintao Tang ◽  
Shasha Li ◽  
Xinyi Li ◽  
Ting Wang

2021 ◽  
pp. 355-365
Author(s):  
Zhuo Liu ◽  
Xuemei Xie ◽  
Xuyang Li

Sign in / Sign up

Export Citation Format

Share Document