User contributions
From Termination-Portal.org
Jump to navigationJump to search- 14:52, 18 May 2009 diff hist +57 Tools:TrafO current
- 14:51, 18 May 2009 diff hist +641 N People:Matthias Raffelsieper New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th... current
- 14:47, 18 May 2009 diff hist +434 Tools:TrafO
- 14:37, 18 May 2009 diff hist +792 N Bibtex:RZ09 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination... current
