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 despatched 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...

Black Hat Python
Added to basket
£29.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Python for Data Science For Dummies
Added to basket
Code
Added to basket
£21.99
Paperback
Data Wrangling with Python
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
SQL Pocket Guide
Added to basket
Clean Code
Added to basket
£36.99
Paperback
HTML and CSS
Added to basket
£30.59
Mixed media product
Python For Dummies
Added to basket
£22.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
The Bride of Science
Added to basket
Python in Easy Steps
Added to basket
Coding for Beginners in easy steps
Added to basket
Python for Finance
Added to basket
£35.99
Paperback
SQL in 10 Minutes, Sams Teach Yourself
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.