Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Rewriting Techniques and Applications - 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Paperback, 1998 ed.) Loot Price: R1,652

Discovery Miles 16 520

Repayment Terms: R155 pm x 12*

Add to cart

Rewriting Techniques and Applications - 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998,...

Rewriting Techniques and Applications - 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Paperback, 1998 ed.)

Tobias Nipkow

Series: Lecture Notes in Computer Science, 1379

(sign in to rate)

Loot Price R1,652 Discovery Miles 16 520 | Repayment Terms: R155 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1379
Release date:	2001
First published:	1998
Editors:	Tobias Nipkow
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	346
Edition:	1998 ed.
ISBN-13:	978-3-540-64301-2
Categories:	Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-64301-X
Barcode:	9783540643012