Rewriting Techniques and Applications
20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Ralf Treinen
Themen in »Rewriting Techniques and Applications«
VMTL Variable YAPA automatic proving calculus complexity interaction nets logic normalization proof proof theory protocol security term rewriting term-graph transformation termination proving
Stimmen zu »Rewriting Techniques and Applications«
Details
ISBN: 9783642023484
Verlag: Springer Berlin
Erscheinung: 19.06.2009