Susanne Biundo. Automatische Synthese rekursiver Programme als Beweisverfahren. Volume 302 of Informatik-Fachberichte, Springer, 1992.
@book{Biundo92,
title = {Automatische Synthese rekursiver Programme als Beweisverfahren},
author = {Susanne Biundo},
year = {1992},
researchr = {https://researchr.org/publication/Biundo92},
cites = {0},
citedby = {0},
volume = {302},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-55300-2},
}