Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science - Nachum Dershowitz - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540603818 - September 22, 1995
In case cover and title do not match, the title is correct

Nachum Dershowitz
Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science

Price
Ft 18,450
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 8 - 18
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

These conference proceedings report the research advances in the area of rewriting, in general achieved since the preceding workshop, held in 1992. The topics addressed include conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, and combinator-based languages.

384 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 22, 1995
ISBN13 9783540603818
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 156 × 234 × 20 mm   ·   548 g
Language German  
Editor Dershowitz, Nachum
Editor Lindenstrauss, Naomi
Show all

More by Nachum Dershowitz

See all of Nachum Dershowitz ( e.g. Paperback Book and Hardcover Book )