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
  17. Wadoud Bousdira, Jean-Luc Rémy
    Pages 272-286
  18. Hitoshi Aida, Joseph Goguen, José Meseguer
    Pages 319-332
  19. Sergio Antoy
    Pages 333-341
  20. Louis Galbiati, Carolyn Talcott
    Pages 342-353
  21. M. C. J. D. van Fekelen, M. J. Plasmeijer, J. E. W. Smetsers
    Pages 354-369
  22. Martin Emele, Rémi Zajac
    Pages 383-388
  23. Uwe Waldmann
    Pages 407-416
  24. G. Aguzzi, U. Modigliani, M. C. Verri
    Pages 417-423
  25. John Darlington, Yike Guo
    Pages 424-435
  26. Wayne Snyder, Christopher Lynch
    Pages 454-461
  27. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment