Difference between revisions of "Bibtex:BN98"
From Termination-Portal.org
Jump to navigationJump to search (New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @BOOK{BN98, AUTHOR = {F. Baader and T. Nipkow}, TITLE = {Term Rewriting and All That...) |
(No difference)
|
Latest revision as of 16:43, 2 April 2008
BibTex
F. Baader, T. Nipkow - Term Rewriting and All That
- Cambridge University Press, Cambridge,1998
- BibtexAuthor : F. Baader, T. Nipkow
Title : Term Rewriting and All That
In : -
Address : Cambridge
Date : 1998