A Practical Approach to Proving Termination of Recursive Programs in Theorema

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of 7th International Workshop on Termination
Editors	M. Codish, A. Middeldorp
Place of Publication	Aachen, Germany
Pages	43-46
Number of pages	4
Publication status	Published - Jun 2004

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

Fields of science

@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",

}

A Practical Approach to Proving Termination of Recursive Programs in Theorema. / Jebelean, Tudor; Popov, Nikolaj.
Proceedings of 7th International Workshop on Termination. ed. / M. Codish, A. Middeldorp. Aachen, Germany, 2004. p. 43-46 (Aachener Informatik-Berichte).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review