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. |