1993
More problems in rewriting
Publication
Publication
Presented at the
International Conference on Rewriting Techniques and Applications, Montreal, Canada
| Additional Metadata | |
|---|---|
| Springer | |
| C. Kirchner (Claude) | |
| Lecture Notes in Computer Science | |
| International Conference on Rewriting Techniques and Applications | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Dershowitz, N., Jouannaud, J.-P., & Klop, J. W. (1993). More problems in rewriting. In C. Kirchner (Ed.), Rewriting Techniques and Applications (pp. 468–487). Springer. |
|