LEADER 01440nam0 2200325 i 450 
001 VAN0050057
005 20231127021939.701
010   $a978-05-213-9115-3
100   $a20060824d2003       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aTerm rewriting systems$eTerese$fedited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
210   $aCambridge$cCambridge University$d2003
215   $aXXII, 884 p.$cill.$d23 cm
410  1$1001VAN0050059$12001 $aCambridge tracts in theoretical computer science$1210  $aCambridge$cCambridge university.$v55
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a68Q42$xGrammars and rewriting systems [MSC 2020]$3VANC023780$2MF
620   $dCambridge$3VANL000024
702  1$aBezem$bMarc$3VANV039383
702  1$aKlop$bJan Willem$3VANV039384
702  1$aVrijer$bRoel de$3VANV039385
712   $aCambridge university <editore>$3VANV107986$4650
801   $aIT$bSOL$c20231201$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Terese - Term rewriting systems.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0050057
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   0362        $e08   6545      I       20060824            
996   $aTerm rewriting systems$91426462
997   $aUNICAMPANIA