Difference between revisions of "Bibtex:TeReSe03"
From Termination-Portal.org
Jump to navigationJump to search (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...) |
|||
| Line 1: | Line 1: | ||
| − | [[Category:Bibtex]] | + | [[Category:Bibtex| ]] |
== BibTex == | == BibTex == | ||
<bibtex> | <bibtex> | ||
Latest revision as of 14:30, 30 March 2008
BibTex
Marc Bezem, Jan Willem Klop, Roel de Vrijer - Term Rewriting Seminar -- Terese
- Cambridge University Press,2003
- BibtexAuthor :
Title : Term Rewriting Seminar -- Terese
In : -
Address :
Date : 2003
