Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Franz Baader
Themen in »Term Rewriting and Applications«
Constraint Java approximation automated deduction constraint solving formal analysis formal verification graph rewriting higher order rewriting lambda calculus logic logic programming model checking object-oriented languages verification
Stimmen zu »Term Rewriting and Applications«
Details
ISBN: 9783540734475
Verlag: Springer Berlin
Erscheinung: 21.06.2007