Vai al contenuto principale della pagina
Titolo: | Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer |
Pubblicazione: | Cambridge, : Cambridge University, 2003 |
Descrizione fisica: | XXII, 884 p. : ill. ; 23 cm |
Soggetto topico: | 68-XX - Computer science [MSC 2020] |
68Q42 - Grammars and rewriting systems [MSC 2020] | |
Persona (resp. second.): | Bezem, Marc |
Klop, Jan Willem | |
Vrijer, Roel de | |
Titolo autorizzato: | Term rewriting systems |
ISBN: | 978-05-213-9115-3 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0050057 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | /sebina/repository/catalogazione/documenti/Terese - Term rewriting systems.pdf |
Opac: | Controlla la disponibilità qui |