01440nam0 2200325 i 450 VAN005005720231127021939.701978-05-213-9115-320060824d2003 |0itac50 baengGB|||| |||||Term rewriting systemsTereseedited by Marc Bezem, Jan Willem Klop, Roel de VrijerCambridgeCambridge University2003XXII, 884 p.ill.23 cm001VAN00500592001 Cambridge tracts in theoretical computer science210 CambridgeCambridge university.5568-XXComputer science [MSC 2020]VANC019670MF68Q42Grammars and rewriting systems [MSC 2020]VANC023780MFCambridgeVANL000024BezemMarcVANV039383KlopJan WillemVANV039384VrijerRoel deVANV039385Cambridge university <editore>VANV107986650ITSOL20231201RICA/sebina/repository/catalogazione/documenti/Terese - Term rewriting systems.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0050057BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 0362 08 6545 I 20060824 Term rewriting systems1426462UNICAMPANIA