In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem proving, esp. memories that significantly differ from the presentation in a recent handbook article on "induction-less induction". Moreover, the important references excluded there are provided here. In order to clear the fog a little, there is a short introduction to inductive theorem proving and a discussion of connotations of implicit induction like "descente infinie", "inductionless induction", "proof by consistency", implicit induction orderings (term orderings), and refutational completeness. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Wirth, C. P. (2005). History and future of implicit and inductionless induction: Beware the Old Jade and the Zombie! Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2605 LNAI, 192–203. https://doi.org/10.1007/978-3-540-32254-2_12
Mendeley helps you to discover research relevant for your work.