Difference between revisions of "Bibtex:RZ09"
From Termination-Portal.org
Jump to navigationJump to search (New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination...) |
(No difference)
|
Latest revision as of 14:37, 18 May 2009
BibTex
Matthias Raffelsieper, Hans Zantema - A Transformational Approach to Prove Outermost Termination Automatically
- Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008) 237:3--21,2009
- http://www.sciencedirect.com/science/article/B75H1-4VXW9BM-2/2/605a0eb821e594c2a7e88892fa106a0a
BibtexAuthor : Matthias Raffelsieper, Hans Zantema
Title : A Transformational Approach to Prove Outermost Termination Automatically
In : Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008) -
Address :
Date : 2009