Open Problems in Rewriting

@inproceedings{Dershowitz1991OpenPI,
  title={Open Problems in Rewriting},
  author={Nachum Dershowitz and Jean-Pierre Jouannaud and Jan Willem Klop},
  booktitle={RTA},
  year={1991}
}
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]; five 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… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 82 references

Lambda calculi with types

  • H. P. Barendregt
  • S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum…
  • 1991
Highly Influential
8 Excerpts

An Introduction to Rewriting

  • M. R. Sleep
  • John Wiley, Chichester, England
  • 1992
1 Excerpt

A New Strategy for the Boolean Ring Based Approach to First Order Theorem Proving

  • H. Zhang
  • Technical Report, Department of Computer Science…
  • 1991

Similar Papers

Loading similar papers…