Open problems in rewriting

Authors:
Nachum Dershowitz;Jean-Pierre Jouannaud;Jan Willem Klop
Affiliations:
-;-;-
Venue:
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Year:
1991

Citing 0
Cited 3

Patterns in Words versus Patterns in Trees: A Brief Survey and New Results

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Open. closed. open.

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
The hydra battle revisited

Rewriting Computation and Proof

Quantified Score

Hi-index	0.00

Visualization

Abstract