Rewriting Techniques and Applications: 19th International Conference, RTA 2008 H
105,94 €
Linear-algebraic ?. -calculus: higher-order, encodings, and confluence. - A Needed Rewriting Strategy for Data-Structures with Pointers. - Effectively Checking the Finite Variant Property. - Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures.
Jetzt bei Ebay:
