Verwendung von Induktionshypothesen in Induktionsbeweisen

@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}
}