Jump to content

Bibtex:BN98

From Termination-Portal.org
Revision as of 16:43, 2 April 2008 by Spf (talk | contribs) (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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BibTex

<bibtex> @BOOK{BN98, 

 AUTHOR = {F. Baader and T. Nipkow},
 TITLE = {Term Rewriting and All That},
 PUBLISHER = {Cambridge University Press},
 ADDRESS = {Cambridge},
 YEAR = 1998

} </bibtex>

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