Rewriting Techniques and Applications
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Robert Nieuwenhuis
Themen in »Rewriting Techniques and Applications«
XML algorithms automata automated deduction derivation logic modeling program calculi reduction rewriting semantics substitutions term rewriting type inference unification
Stimmen zu »Rewriting Techniques and Applications«
Details
ISBN: 9783540448815
Verlag: Springer Berlin
Erscheinung: 06.03.2007