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. Proceedings of the 4th Internatonal Conference Rewriting Techniques and Applications 1991 (4), 188–199. |
|