Rewriting Techniques and Applications
15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Vincent van Oostrom
Themen in »Rewriting Techniques and Applications«
algorithms automata automated deduction calculus cut elimination formal methods lambda calculus logic program calculi proving reduction rewriting rewriting systems termination verification
Stimmen zu »Rewriting Techniques and Applications«
Details
ISBN: 9783540221531
Verlag: Springer Berlin
Erscheinung: 24.05.2004