Rewriting Techniques and Applications
11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Leo Bachmair
Themen in »Rewriting Techniques and Applications«
Algebraic Program Manipulation Compiler Formal Reasoning HIgher-Order Rewriting Logic Calculi Program Semantics Programming Logic Resolution Rewriting Logic Rewriting Systems Term Rewriting automata lambda calculus logic
Stimmen zu »Rewriting Techniques and Applications«
Details
ISBN: 9783540449805
Verlag: Springer Berlin
Erscheinung: 30.12.2006