Uniform Normalisation beyond Orthogonality - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom. Uniform Normalisation beyond Orthogonality. In Aart Middeldorp, editor, Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings. Volume 2051 of Lecture Notes in Computer Science, pages 122-136, Springer, 2001. [doi]

This author has not been identified. Look up 'Zurab Khasidashvili' in GoogleThis author has not been identified. Look up 'Mizuhito Ogawa' in GoogleThis author has not been identified. Look up 'Vincent van Oostrom' in Google

runs on WebDSL