00545nam a2200169 a 4500008004100000020001500041050001500056100002600071245003300097260005000130300003200180350000900212500004000221650004100261700001800302856005500320060316s1998    ||||||||||||||||| ||    u  a0521455200  aQA 267 Baa  aNipkow, Tobias, 1958-10aTerm rewriting and all that   aCambridge :bCambridge University Pressc1998  axii, 301 p. : ill. ; 26 cm.  a0.00  aIncludes bibliographical references  aREWRITING SYSTEMS (COMPUTER SCIENCE)  aBaader, Franz  uhttp://www.loc.gov/catdir/toc/cam027/97028286.html