Table of contents

  1. Front Matter
  2. Francois Bronsard, Uday S. Reddy
    Pages 1-13
  3. Nachum Dershowitz
    Pages 14-25
  4. Jan Willem Klop, Roel de Vrijer
    Pages 26-50
  5. Emmanuel Kounalis, Michaël Rusinowitch
    Pages 51-63
  6. Chilukuri K. Mohan
    Pages 92-97
  7. Hong Chen, Jieh Hsiang, Hwa-Chung Kong
    Pages 99-114
  8. Yiyun Chen, Michael J. O'Donnell
    Pages 115-126
  9. Yiyun Chen, Michael J. O'Donnell
    Pages 127-136
  10. Hélène Kirchner, Miki Hermann
    Pages 143-154
  11. Siva Anantharaman, Maria Paola Bonacina
    Pages 155-161
  12. Eddy Bevers, Johan Lewi
    Pages 194-205
  13. Maria Paola Bonacina, Jieh Hsiang
    Pages 206-232
  14. Pages 232-232
  15. Hervé Devie
    Pages 233-245
  16. Robert Nieuwenhuis, Fernando Orejas
    Pages 246-258

About these proceedings


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.


Automated Deduction Automatisches Schließen Parallel Architecture Parallel Computing Parallele Architekturen Paralleles Rechnen Parallelverarbeitung (EDV) Programmiersprache Programming Languages Rechnerarchitektur Resolution Term Rewriting Systems logic programming semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54317-6
  • Online ISBN 978-3-540-47558-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book