000 00593nam a2200193Ia 4500
008 161214s9999 xx 000 0 und d
020 _a9780521391153
_c(hbk)
082 _223
_a005.131
_bTER
100 _aTerese Group
245 0 _aTerm rewriting systems
260 _aCambridge:
_bCambridge University Press,
_c2003
300 _axxii, 884 p.;
_bill., index:
_c24 cm.
490 _aCambridge tracts in theoretical computer science
650 _aRewriting systems (Computer science)
700 _aBezem, Marc
700 _aKlop, Jan Willem
700 _aVrijer, Roel de
942 _2ddc
_cBK
999 _c16602
_d16602