Original language | Undefined/Unknown |
---|---|
Title of host publication | Proceedings of the 12th International Conference on Rewiting Techniques and Applications (RTA '01) |
Editors | A. Middeldorp |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 122-136 |
Number of pages | 14 |
Publication status | Published - 2001 |
'Uniform Normalization beyond Orthogonality'
Z. Khasidashvili, M. Ogawa, V. van Oostrom
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic