'Uniform Normalization beyond Orthogonality'

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

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

RTA

Cite this

@inproceedings{7d0914cdbb1945a4b03c6450ac2b4bcc,

title = "'Uniform Normalization beyond Orthogonality'",

author = "Z. Khasidashvili and M. Ogawa and \{van Oostrom\}, V.",

note = "RTA",

year = "2001",

language = "Undefined/Unknown",

pages = "122--136",

editor = "A. Middeldorp",

booktitle = "Proceedings of the 12th International Conference on Rewiting Techniques and Applications (RTA '01)",

publisher = "Springer",

}