Books > Computing & IT > Computer programming
|
Buy Now
Conditional and Typed Rewriting Systems - 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings (Paperback, 1991 ed.)
Loot Price: R1,779
Discovery Miles 17 790
|
|
Conditional and Typed Rewriting Systems - 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings (Paperback, 1991 ed.)
Series: Lecture Notes in Computer Science, 516
Expected to ship within 10 - 15 working days
|
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.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 516 |
Release date: |
August 1991 |
First published: |
1991 |
Editors: |
Stephane Kaplan
• Mitsuhiro Okada
|
Dimensions: |
233 x 155 x 24mm (L x W x T) |
Format: |
Paperback
|
Pages: |
464 |
Edition: |
1991 ed. |
ISBN-13: |
978-3-540-54317-6 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-54317-1 |
Barcode: |
9783540543176 |
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.