Rewriting Techniques and Applications
13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Sophie Tison
Themen in »Rewriting Techniques and Applications«
Exception LA ants automated deduction calculus derivation explicite substitutions formal methods verfification logic model checking program calculi proving rewriting systems term rewriting termination
Stimmen zu »Rewriting Techniques and Applications«
Details
ISBN: 9783540456100
Verlag: Springer Berlin
Erscheinung: 02.08.2003