Rewriting Techniques and Applications
10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Paliath Narendran
Themen in »Rewriting Techniques and Applications«
Automat Constraint Graph Rewriting Higher Order Rewriting Lex String Rewriting Term Rewriting Theorem Proving automata complexity
Stimmen zu »Rewriting Techniques and Applications«
Details
ISBN: 9783540486855
Verlag: Springer Berlin
Erscheinung: 31.07.2003