Conditional Term Rewriting Systems: 1st International Workshop Orsay France Ju

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Publisher: Springer (1988-07) | ISBN-10: 3540192425 | PDF | 2.3 Mb | 278pages

Term rewriting is a very active research topic, with its own dedicated international conference. Rewriting Techniques and Applications, that took place in 1985 at Dijon, France (L.N.C.S. 202), in 1987 at Bordeaux, France (L.N.C.S. 256), and will take place in April 1989 at Chapel Hill, USA.

Much effort has been devoted during the past few years to the study of conditional rewrite systems, a subarea of term rewriting, considered to be relatively difficult. A few of us (Nachum Dershowitz, David Plaisted, Jean-Luc R