Revision history of "Bibtex:BN98"

From Termination-Portal.org
Jump to navigationJump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 16:43, 2 April 2008Spf talk contribs 397 bytes +397 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...