Advanced topics in term rewriting / Enno Ohlebusch.
Tipo de material: TextoDetalles de publicación: New York : Springer, c2002Descripción: xv, 414 p. : il. ; 25 cmISBN: 0387952500 (alk. paper)Tema(s): Rewriting systems (Computer science) | Sistema de reescritura ( Ciencia computacionales)Clasificación CDD: 005.13/1 Clasificación LoC:QA267 | O45 2002Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro | Biblioteca Central Ensenada | Acervo General | QA267 O45 2002 (Browse shelf(Abre debajo)) | 1 | Disponible | ENS040596 | |
Libro | Biblioteca Central Ensenada | Acervo General | QA267 O45 2002 (Browse shelf(Abre debajo)) | 2 | Disponible | ENS040597 |
Navegando Biblioteca Central Ensenada Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA267 K35 1981 Automata theory : | QA267 K69 1997 Automata and computability / | QA267 K69 1997 Automata and computability / | QA267 O45 2002 Advanced topics in term rewriting / | QA267 O45 2002 Advanced topics in term rewriting / | QA267 S55 1999 Automata theory / | QA267.3 A53 2007 Teoría de autómatas y lenguajes formales / |
Incluye referencias bibliográficas (p. [385]-405) e índice.
9