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,698
Discovery Miles 16 980
|
|
Rewriting Techniques and Applications - 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Paperback, 1998 ed.)
Series: Lecture Notes in Computer Science, 1379
Expected to ship within 10 - 15 working days
|
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
|
LSN: |
3-540-64301-X |
Barcode: |
9783540643012 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.