Publikationsdetails

Zitat:	Tudor Jebelean, Nikolaj Popov, "A Practical Approach to Proving Termination of Recursive Programs in Theorema" , in M. Codish, A. Middeldorp: Proceedings of 7th International Workshop on Termination, Serie Aachener Informatik-Berichte, Aachen, Germany, Seite(n) 43-46, 6-2004, ISSN: 0935-3232
Original Titel:	A Practical Approach to Proving Termination of Recursive Programs in Theorema
Sprache des Titels:	Englisch
Original Buchtitel:	Proceedings of 7th International Workshop on Termination
Verlagsanschrift:	Aachen, Germany
Serie:	Aachener Informatik-Berichte
Seitenreferenz:	43-46
Erscheinungsmonat:	6
Erscheinungsjahr:	2004
ISSN:	0935-3232
Anzahl der Seiten:	4
Notiz zur Publikation:	Series ISSN: 0935-3232
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Tudor Jebelean, Nikolaj Popov
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