User contributions for Andreas.gebhardt

13 May 2008

• 09:0609:06, 13 May 2008 diff hist +20 WScT08 →Registration

31 March 2008

• 17:1717:17, 31 March 2008 diff hist +307 What domain name? No edit summary

30 March 2008

• 13:3613:36, 30 March 2008 diff hist +598 N People:Andreas Gebhardt 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
• 13:2813:28, 30 March 2008 diff hist +249 N Bibtex:Kurth90 New page: Category:Bibtex == BibTex == <bibtex> @phdthesis{kurth90, author = {Winfried Kurth}, title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel}, school = {T...
• 13:2213:22, 30 March 2008 diff hist +215 N Bibtex:Buendgen98 New page: Category:Bibtex == BibTex == <bibtex> @book{buendgen98, author = {Reinhard Bündgen}, title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung}, publisher = {Vieweg}, ...
• 13:1713:17, 30 March 2008 diff hist +433 N Bibtex:MORV05 New page: Category:Bibtex == BibTex == <bibtex> @book{morv05, editor = {Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer}, title = {Processec, Terms and Cycles: Step...
• 13:1313:13, 30 March 2008 diff hist +233 N Bibtex:TeReSe03 New page: Category:Bibtex == BibTex == <bibtex> @book{terese03, editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer}, title = {Term Rewriting Seminar -- Terese}, publisher = {Cambridge U...
• 13:0813:08, 30 March 2008 diff hist +214 N Bibtex:Ohlebusch02 New page: Category:Bibtex == BibTex == <bibtex> @book{ohlebusch02, author = {Enno Ohlebusch}, title = {Advanced Topics in Term Rewriting}, publisher = {Springer}, address = {New York}, ...
• 13:0313:03, 30 March 2008 diff hist +273 N Bibtex:Drosten89 New page: Category:Bibtex == BibTex == <bibtex> @book{drosten89, author = {Klaus Drosten}, title = {Termersetzungssysteme}, number = {210}, series = {Informatik--Fachberichte}, publish...