Take a photo of a barcode or cover
Read With Others
Book Information
464 pages • paperback • 1 edition
ISBN/UID: 9783540543176
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 07 Aug 1991
Description
In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are...
Community Reviews
Content Warnings
464 pages • paperback
ISBN/UID: 9783540543176
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 07 Aug 1991
Description
In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are...