User contributions for Mraffels

18 May 2009

• 14:5214:52, 18 May 2009 diff hist +57 Tools:TrafO No edit summary current
• 14:5114: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:4714:47, 18 May 2009 diff hist +434 Tools:TrafO No edit summary
• 14:3714: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