Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.
The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.

Riassunto

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.
The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.

Dettagli sul prodotto

• Con la collaborazione di: Aart Middeldorp (Editore)
• Editore: Springer, Berlin
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 09.05.2001
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione
• EAN: 9783540421177
• ISBN: 978-3-540-42117-7
• Numero di pagine: 368
• Illustrazioni: XII, 368 p.
• Dimensioni (della confezione): 15.5 x 23.5 cm
• Peso (della confezione): 531 g
• Serie: Lecture Notes in Computer Science > 2051
• Categorie: C, Künstliche Intelligenz, Algorithms, Artificial Intelligence, EDV / Theorie / Programmieren / Allgemeines, Theoretische Informatik, Mathematik für Informatiker, Compiler und Übersetzer, computer science, Beta, Algorithm, complexity, Variable, Logics and Meanings of Programs, Reduction, Künstliche Intelligenz (KI), Programming Languages, Compilers, Interpreters, Mathematical theory of computation, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Mathematical logic, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Computer architecture & logic design, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters, Automata, unification, rewriting, termination, formalmethods, theoremproving, termrewriting, automateddeduction, explicitesubstitution