Bibtex:RZ09

From Termination-Portal.org
Revision as of 14:37, 18 May 2009 by Mraffels (talk | contribs) (New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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
Bibtex
Author : 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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:RZ09&oldid=803"