Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science 1379 (Paperback)
  • Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science 1379 (Paperback)
zoom

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science 1379 (Paperback)

(editor)
£72.00
Paperback 346 Pages / Published: 11/03/1998
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540643012
Number of pages: 346
Weight: 1120 g
Dimensions: 235 x 155 x 18 mm
Edition: 1998 ed.

You may also be interested in...

C++ Pocket Reference
Added to basket
Mindstorms
Added to basket
£14.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
Data Analysis Using SQL and Excel
Added to basket
C Programming Absolute Beginner's Guide
Added to basket
The C++ Programming Language
Added to basket
Developer's Code
Added to basket
£22.99
Paperback
C++ All-in-One For Dummies
Added to basket
Jumping Into C++
Added to basket
£22.00
Paperback
C Programming
Added to basket
£54.99
Paperback
Coding for Beginners in easy steps
Added to basket
The C++ Programming Language
Added to basket
Effective C++
Added to basket
£40.49
Paperback
M Is for (Data) Monkey
Added to basket
£26.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.