Visit our Christmas Gift Finder
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings - Lecture Notes in Computer Science 516 (Paperback)
  • Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings - Lecture Notes in Computer Science 516 (Paperback)
zoom

Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings - Lecture Notes in Computer Science 516 (Paperback)

(editor), (editor)
£81.00
Paperback 464 Pages / Published: 07/08/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. The international CTRS (Conditional and Typed Rewriting Systems) workshops are intended to offer a forum for researchers on such extensions of rewriting techniques. This volume presents the proceedings of the second CTRS workshop, which contributed to discussion and evaluation of new directions of research. (The proceedings of the first CTRS workshop are in Lecture Notes in Computer Science, Vol. 308.) Several important directions for extensions of rewriting techniques were stressed, which are reflected in the organization of the chapters in this volume: - Theory of conditional and Horn clause systems, - Infinite terms, non-terminating systems, and termination, - Extension of Knuth-Bendix completion, - Combined systems, combined languages and modularity, - Architecture, compilers and parallel computation, - Basic frameworks for typed and order-sorted systems, - Extension of unification and narrowing techniques.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540543176
Number of pages: 464
Weight: 1500 g
Dimensions: 233 x 155 x 24 mm
Edition: 1991 ed.

You may also be interested in...

How to Build a Billion Dollar App
Added to basket
Designing Data-Intensive Applications
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback
Eloquent Javascript, 2nd Ed.
Added to basket
Learning Python
Added to basket
£51.99
Paperback
Code
Added to basket
£21.99
Paperback
Coding for Beginners in easy steps
Added to basket
Fluent Python
Added to basket
£39.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
The C++ Programming Language
Added to basket
Automate The Boring Stuff With Python
Added to basket
Python in Easy Steps
Added to basket
Clean Code
Added to basket
£36.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.