Keyword:induction

Publications
Synthesis of Recursive Programs in Saturation Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner EasyChair Preprint 12145
The Vampire Approach to Induction Marton Hajdu, Laura Kovacs, Michael Rawson and Andrei Voronkov EasyChair Preprint 9217
Induction with Recursive Definitions in Superposition Marton Hajdu, Petra Hozzová, Laura Kovacs and Andrei Voronkov EasyChair Preprint 6513
Integer Induction in Saturation Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint 5176
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard Mnacho Echenim, Radu Iosif and Nicolas Peltier EasyChair Preprint 4877
Fermat’s Last Theorem Proved by Induction Vasil Penchev EasyChair Preprint 3357
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 2468
Recent Training Trends: Learning and effectiveness Soni Agrawal and Saroda Chatterjee EasyChair Preprint 2392
Transitive Closure Logic: Infinitary and Cyclic Proof Systems Reuben Rowe and Liron Cohen EasyChair Preprint 191
Rewriting and Inductive Reasoning Marton Hajdu, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard Mnacho Echenim, Radu Iosif and Nicolas Peltier In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs Anupam Das, Amina Doumane and Damien Pous In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SMT-Based CPS Parameter Synthesis Heinz Riener, Robert Koenighofer, Goerschwin Fey and Roderick Bloem In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial Rustan Leino In:IWIL-2015. 11th International Workshop on the Implementation of Logics