Paperback
Not available for sale
Includes delivery to the United States
Out of stock
Proceedings of the International Conference, Chapel Hill, NC, April 1989. Thirty-four papers in the following (or related) areas: graph rewriting and grammars, algebraic semantics, equational reasoning, equational programming languages, completion procedures, rewrite-based theorem proving, unification and matching algorithms, term-based architectur
| ISBN: | 9780387510811 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Number of pages: | 578 |
| Weight: | 566g |
| Height: | 155mm |
| Width: | 233mm |
| Spine width: | 21mm |
$5.34off
Paperback
Published 04 Sep 2000
Save $5.34
$8.77off
Paperback
Published 16 Jun 2002
Save $8.77
