1991
Completeness of combinations of constructor systems
Publication
Publication
Presented at the
International Conference on Rewriting Techniques and Applications, Como
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Conference on Rewriting Techniques and Applications | |
|
Middeldorp, A., & Toyama, Y. (1991). Completeness of combinations of constructor systems. In Proceedings of the 4th Internatonal Conference Rewriting Techniques and Applications 1991 (4) (pp. 188–199). Springer. |
|