Interpolation Systems for Ground Proofs in Automated Deduction: a Survey

2015 ◽  
Vol 54 (4) ◽  
pp. 353-390 ◽  
Author(s):  
Maria Paola Bonacina ◽  
Moa Johansson
Keyword(s):  
Automated Deduction ◽  
Interpolation Systems

scholarly journals Fuzzy Interpolation Systems and Applications

10.5772/68051 ◽  
2017 ◽  
Author(s):  
Longzhi Yang ◽  
Zheming Zuo ◽  
Fei Chao ◽  
Yanpeng Qu
Keyword(s):  
Fuzzy Interpolation ◽  
Interpolation Systems

Automated Deduction in Gödel Logic

2018 ◽  
Vol 19 (3) ◽  
pp. 1-28
Author(s):  
Dušan Guller
Keyword(s):  
Automated Deduction ◽  
Gödel Logic

scholarly journals Automated deduction of cross-organizational collaborative business processes

2018 ◽  
Vol 453 ◽  
pp. 30-49 ◽  
Author(s):  
Aurelie Montarnal ◽  
Wenxin Mu ◽  
Frederick Benaben ◽  
Jacques Lamothe ◽  
Matthieu Lauras ◽  
...  
Keyword(s):  
Business Processes ◽  
Automated Deduction
Sign in / Sign up

Export Citation Format

Share Document