Jump to content

Bibtex:TeReSe03

From Termination-Portal.org

Revision as of 13:13, 30 March 2008 by Andreas.gebhardt (talk | contribs) (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...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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>

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:TeReSe03&oldid=238"

Bibtex