Jump to content

Bibtex:TeReSe03: Difference between revisions

From Termination-Portal.org
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...
 
No edit summary
 
Line 1: Line 1:
[[Category:Bibtex]]
[[Category:Bibtex| ]]
== BibTex ==
== BibTex ==
<bibtex>
<bibtex>

Latest revision as of 14:30, 30 March 2008

BibTex

<bibtex> @book{terese03,

 editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer},
 title = {Term Rewriting Seminar -- Terese},
 publisher = {Cambridge University Press},
 year = {2003}

} </bibtex>