Powiedz znajomym o tym przedmiocie:
Rewriting Techniques and Applications (International Conference, Rta '99, Trento, Italy, July 2-4, 1999, Proceedings) - Lecture Notes in Computer Science
P Narendran
Rewriting Techniques and Applications (International Conference, Rta '99, Trento, Italy, July 2-4, 1999, Proceedings) - Lecture Notes in Computer Science
P Narendran
This volume covers the 10th International Conference on Rewriting Techniques and Applications held in July 1999. It includes such topics as constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting and string rewriting.
408 pages, biography
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 16 czerwca 1999 |
ISBN13 | 9783540662013 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 408 |
Wymiary | 156 × 234 × 21 mm · 585 g |
Język | French |
Redaktor | Narendran, Paliath |
Redaktor | Rusinowitch, Michael |
Zobacz wszystko od P Narendran ( np. Paperback Book )