Visit our Christmas Gift Finder
Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings - Lecture Notes in Computer Science 488 (Paperback)
  • Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings - Lecture Notes in Computer Science 488 (Paperback)
zoom

Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings - Lecture Notes in Computer Science 488 (Paperback)

(editor)
£81.00
Paperback 462 Pages / Published: 27/03/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540539049
Number of pages: 462
Weight: 1450 g
Dimensions: 235 x 155 x 24 mm
Edition: 1991 ed.

You may also be interested in...

Don't Make Me Think, Revisited
Added to basket
Data Science from Scratch
Added to basket
Computer Systems Architecture
Added to basket
How to Pass Higher Computing Science
Added to basket
Networks: A Very Short Introduction
Added to basket
Emotion: A Very Short Introduction
Added to basket
The Elements of Statistical Learning
Added to basket
The Lego Architect
Added to basket
£20.99
Hardback
Portfolio, programme and project offices
Added to basket
Modelling Computing Systems
Added to basket
The Singularity Is Near
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
Business Analysis Techniques
Added to basket
Sound and Recording
Added to basket
Computing with Quantum Cats
Added to basket

Please sign in to write a review

Your review has been submitted successfully.