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)
Jump to navigationJump to search

BibTex

F. Baader, T. Nipkow - Term Rewriting and All That

Cambridge University Press, Cambridge,1998
Bibtex
Author : F. Baader, T. Nipkow
Title : Term Rewriting and All That
In : -
Address : Cambridge
Date : 1998