Mechanically certifying formula-based Noetherian induction reasoning

Abstract

Article history: Received 15 May 2015 Accepted 24 September 2015 Available online xxxx 
DOI: 10.1016/j.jsc.2016.07.014

4 Figures and Tables

Cite this paper

@article{Stratulat2017MechanicallyCF, title={Mechanically certifying formula-based Noetherian induction reasoning}, author={Sorin Stratulat}, journal={J. Symb. Comput.}, year={2017}, volume={80}, pages={209-249} }