Difference between revisions of "Bibtex:Ohlebusch02"
From Termination-Portal.org
Jump to navigationJump to search (New page: Category:Bibtex == BibTex == <bibtex> @book{ohlebusch02, author = {Enno Ohlebusch}, title = {Advanced Topics in Term Rewriting}, publisher = {Springer}, address = {New York}, ...) |
|||
| Line 1: | Line 1: | ||
| − | [[Category:Bibtex]] | + | [[Category:Bibtex| ]] |
== BibTex == | == BibTex == | ||
<bibtex> | <bibtex> | ||
Revision as of 14:29, 30 March 2008
BibTex
Enno Ohlebusch - Advanced Topics in Term Rewriting
