Rewriting Techniques and Applications
4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
Herausgegeben:Book, Ronald V.
Rewriting Techniques and Applications
4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
Herausgegeben:Book, Ronald V.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- ComonRewriting Techniques and Applications39,99 €
- Stephane Kaplan / Mitsuhiro Okada (eds.)Conditional and Typed Rewriting Systems40,99 €
- Nachum Dershowitz (ed.)Rewriting Techniques and Applications40,99 €
- GanzingerRewriting Techniques and Applications40,99 €
- HsiangRewriting Techniques and Applications40,99 €
- DershowitzConditional and Typed Rewriting Systems40,99 €
- BundyAutomated Deduction ¿ CADE-1237,99 €
-
-
-
- Produktdetails
- Lecture Notes in Computer Science 488
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-53904-9
- 1991.
- Seitenzahl: 472
- Erscheinungstermin: 27. März 1991
- Englisch
- Abmessung: 235mm x 155mm x 26mm
- Gewicht: 782g
- ISBN-13: 9783540539049
- ISBN-10: 3540539042
- Artikelnr.: 09222378
- Lecture Notes in Computer Science 488
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-53904-9
- 1991.
- Seitenzahl: 472
- Erscheinungstermin: 27. März 1991
- Englisch
- Abmessung: 235mm x 155mm x 26mm
- Gewicht: 782g
- ISBN-13: 9783540539049
- ISBN-10: 3540539042
- Artikelnr.: 09222378