LIBROS DEL AUTOR: matthias jantzen

1 resultados para LIBROS DEL AUTOR: matthias jantzen

matthias jantzen Eliminar filtro Quitar filtros
  • Confluent String Rewriting
    Matthias Jantzen
    Replacement systems, such as term rewriting systems, tree manipulat­ ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput­ ation. Replacement systems for strings arose about seventy years earlier in the area of com...
    Disponible

    67,01 €