Publikationsdetails

Zitat:	Nikolaj Popov, Tudor Jebelean, "Verification of Functional Programs Containing Nested Recursion" , in B. Buchberger, T. Ida and T. Kutsia: SCSS'08, Seite(n) 163-175, 7-2008
Original Titel:	Verification of Functional Programs Containing Nested Recursion
Sprache des Titels:	Englisch
Original Buchtitel:	SCSS'08
Seitenreferenz:	163-175
Erscheinungsmonat:	7
Erscheinungsjahr:	2008
Anzahl der Seiten:	13
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Nikolaj Popov, Tudor Jebelean
Forschungseinheiten:	Institut für Symbolisches Rechnen

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum