A Practical Approach to Proving Termination of Recursive Programs in Theorema

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of 7th International Workshop on Termination
Herausgeber*innen	M. Codish, A. Middeldorp
Erscheinungsort	Aachen, Germany
Seiten	43-46
Seitenumfang	4
Publikationsstatus	Veröffentlicht - Juni 2004

Name	Aachener Informatik-Berichte
ISSN (Print)	0935-3232

Wissenschaftszweige

@inproceedings{62d95c5988f84d09850ed8649ca52f35,

title = "A Practical Approach to Proving Termination of Recursive Programs in Theorema",

author = "Tudor Jebelean and Nikolaj Popov",

year = "2004",

month = jun,

language = "English",

series = "Aachener Informatik-Berichte",

pages = "43--46",

editor = "\{M. Codish, A. Middeldorp\}",

booktitle = "Proceedings of 7th International Workshop on Termination",

}