TY - BOOK ID - 7005276 TI - Term rewriting and all that AU - Baader, Franz AU - Nipkow, Tobias PY - 1998 SN - 0521455200 9780521455206 9781139172752 9780521779203 PB - Cambridge Cambridge University Press DB - UniCat KW - Rewriting systems (Computer science) KW - Rewriting systems (Computer science). KW - Systèmes de réécriture (Informatique) KW - Systèmes de réécriture (Informatique) KW - Computer science KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:7005276 AB - ER -