Detailsuche

Book

Rewriting Techniques and Applications

4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
Springer Book Archives
1991. Buch. x, 462 S.: Bibliographien. Softcover
Springer ISBN 978-3-540-53904-9
Format (B x L): 15,5 x 23,5 cm
Gewicht: 1450 g
In englischer Sprache
Das Werk ist Teil der Reihe:
This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems.

Audience

Research

Versandkostenfrei
lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht
96,29 €
inkl. MwSt.
Webcode: beck-shop.de/bogbh
Herausgegeben von: link iconRonald V Book