A calculational approach to mathematical induction

From MaRDI portal
Publication:1391737

DOI10.1016/S0304-3975(96)00154-5zbMath0901.68124OpenAlexW2099163661WikidataQ56874028 ScholiaQ56874028MaRDI QIDQ1391737

Jaap van der Woude, Henk Doornbos, Roland C. Backhouse

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00154-5




Related Items



Cites Work