Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Front Cover
Springer Science & Business Media, Aug 7, 1991 - Computers - 461 pages
0 Reviews
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

II
iv
III
14
IV
26
V
51
VI
64
VII
92
VIII
99
IX
100
XXIV
272
XXV
287
XXVI
295
XXVII
307
XXVIII
319
XXIX
320
XXX
333
XXXI
342

X
115
XI
127
XII
137
XIII
143
XIV
155
XV
156
XVI
162
XVII
181
XVIII
194
XIX
206
XX
233
XXI
246
XXII
259
XXIII
260
XXXII
354
XXXIII
371
XXXIV
372
XXXV
383
XXXVI
389
XXXVII
401
XXXVIII
407
XXXIX
417
XL
418
XLI
424
XLII
436
XLIII
448
XLIV
454
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information