scholarly journals Machine Learning for Inductive Theorem Proving

2018 ◽  
pp. 87-103 ◽  
Author(s):  
Yaqing Jiang ◽  
Petros Papapanagiotou ◽  
Jacques Fleuriot
Keyword(s):  
Machine Learning ◽  
Theorem Proving ◽  
Inductive Theorem Proving

scholarly journals Termination Analysis by Dependency Pairs and Inductive Theorem Proving

2009 ◽  
pp. 322-338 ◽  
Author(s):  
Stephan Swiderski ◽  
Michael Parting ◽  
Jürgen Giesl ◽  
Carsten Fuhs ◽  
Peter Schneider-Kamp
Keyword(s):  
Theorem Proving ◽  
Termination Analysis ◽  
Inductive Theorem Proving ◽  
Dependency Pairs

scholarly journals Inductive theorem proving based on tree grammars

2015 ◽  
Vol 166 (6) ◽  
pp. 665-700 ◽  
Author(s):  
Sebastian Eberhard ◽  
Stefan Hetzl
Keyword(s):  
Theorem Proving ◽  
Inductive Theorem Proving
Sign in / Sign up

Export Citation Format

Share Document