Conditional and Typed Rewriting Systems (inbunden)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Serie
Lecture Notes in Computer Science (del 968)
Antal sidor
384
Utgivningsdatum
1995-09-22
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dimensioner
234 x 156 x 21 mm
Vikt
549 g
ISBN
9783540603818

Conditional and Typed Rewriting Systems

4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

av Nachum Dershowitz, Naomi Lindenstrauss
Häftad,  Engelska, 1995-09-22
576
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.

Passar bra ihop

  1. Conditional and Typed Rewriting Systems
  2. +
  3. The Art and Making of Arcane

De som köpt den här boken har ofta också köpt The Art and Making of Arcane av Elisabeth Vincentelli, Insight Editions (inbunden).

Köp båda 2 för 1211 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Nachum Dershowitz, Naomi Lindenstrauss

Du kanske gillar