Erschienen: 22.09.1995 Abbildung von Dershowitz / Lindenstrauss | Conditional and Typed Rewriting Systems | 1995 | 968

Dershowitz / Lindenstrauss

Conditional and Typed Rewriting Systems

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1995. Buch. vIII, 384 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-60381-8

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1210 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 968

Produktbeschreibung

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994.
The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting.

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 ...