## Open Problems in Rewriting (1991)

### Cached

### Download Links

- [www.math.tau.ac.il]
- [www.cs.tau.ac.il]
- [www-sal.cs.uiuc.edu]
- DBLP

### Other Repositories/Bibliography

Venue: | Proceeding of the Fifth International Conference on Rewriting Techniques and Application (Montreal, Canada), LNCS 690 |

Citations: | 19 - 2 self |

### BibTeX

@INPROCEEDINGS{Dershowitz91openproblems,

author = {Nachum Dershowitz and Jean-pierre Jouannaud and Jan Willem Klop},

title = {Open Problems in Rewriting},

booktitle = {Proceeding of the Fifth International Conference on Rewriting Techniques and Application (Montreal, Canada), LNCS 690},

year = {1991},

pages = {468--487},

publisher = {Springer Verlag}

}

### OpenURL

### Abstract

Introduction Interest in the theory and applications of rewriting has been growing rapidly, as evidenced in part by four conference proceedings #including this one# #15, 26, 41,66#; three workshop proceedings #33, 47, 77#; #ve special journal issues #5,88, 24, 40, 67#; more than ten surveys #2,7,27, 28, 44, 56,57,76, 82, 81#; one edited collection of papers #1#; four monographs #3, 12,55,65#; and seven books #four of them still in progress# #8,9, 35, 54, 60,75, 84#. To encourage and stimulate continued progress in this area, wehave collected #with the help of colleagues# a number of problems that appear to us to be of interest and regarding whichwe do not know the answer. Questions on rewriting and other equational paradigms have been included; manyhave not aged su#ciently to be accorded the appellation #open problem". Wehave limited ourselves to theoretical questions, though there are certainly many additional interesting questions relating to applications and implementation