User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:38, 25 April 2012 diff hist +6 People:Stephan Falke current
- 11:38, 25 April 2012 diff hist +823 N Tools:KITTeL Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 10:05, 21 December 2009 diff hist +32 People:Stephan Falke
- 18:30, 2 April 2008 diff hist +119 WST
- 16:43, 2 April 2008 diff hist +397 N Bibtex:BN98 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @BOOK{BN98, AUTHOR = {F. Baader and T. Nipkow}, TITLE = {Term Rewriting and All That... current
- 20:13, 31 March 2008 diff hist +18 Template:Person →{{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}}
- 16:07, 31 March 2008 diff hist +542 N People:Stephan Falke 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...
