Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science - Tobias Nipkow - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - March 11, 1998
In case cover and title do not match, the title is correct

Tobias Nipkow
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science

Price
Íkr 7,049
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 16 - 26
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

A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.

346 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 11, 1998
ISBN13 9783540643012
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 346
Dimensions 156 × 234 × 18 mm   ·   503 g
Language German  
Editor Nipkow, Tobias
Show all

More by Tobias Nipkow

See all of Tobias Nipkow ( e.g. Paperback Book and Hardcover Book )