Tudor Jebelean, Nikolaj Popov,
"Proving Termination of Recursive Programs by Matching Against Simplified Program Versions and Construction of Specialized Libraries in Theorema"
, in D. Hofbauer and A. Serebrenik: Proceedings of 9-th International Workshop on Termination, Paris, France, Seite(n) 48-52, 2007
Original Titel:
Proving Termination of Recursive Programs by Matching Against Simplified Program Versions and Construction of Specialized Libraries in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of 9-th International Workshop on Termination
Forschungs-