Inicio > > Ciencias de la computación > Term Rewriting and Applications
Term Rewriting and Applications

Term Rewriting and Applications

Franz Baader

65,59 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2007
Materia
Ciencias de la computación
ISBN:
9783540734475
65,59 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.

Artículos relacionados

Otros libros del autor

  • Automated Deduction - CADE-19
    Franz Baader
    The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of...
    Disponible

    65,19 €