Publication
In: U. Furbach; M. Heisel; W. Reif; W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, Construction and Synthesis of Programs, Karlsruhe, Interner Bericht, Vol. 10/89, Universität Karlsruhe, 1986.
@inproceedings{pub1582, author = { Hutter, Dieter }, editor = { Furbach, U. and Heisel, M. and Reif, W. and Stephan, W. }, title = {Verwendung von Induktionshypothesen in Induktionsbeweisen}, booktitle = {Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, Construction and Synthesis of Programs, Karlsruhe}, series = {Interner Bericht}, year = {1986}, volume = {10/89}, address = {Karlsruhe, Germany}, organization = {Universität Karlsruhe}, publisher = {Universität Karlsruhe} }
© DFKI, 2023