Erschienen: 27.03.1991 Abbildung von Book | Rewriting Techniques and Applications | 1991

Book

Rewriting Techniques and Applications

4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

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: Lecture Notes in Computer Science; 488

Produktbeschreibung

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.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...