Minimal Relative Normalization in Orthogonal Expression Reduction Systems

John R. W. Glauert, Zurab Khasidashvili. Minimal Relative Normalization in Orthogonal Expression Reduction Systems. In Vijay Chandru, V. Vinay, editors, Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings. Volume 1180 of Lecture Notes in Computer Science, pages 238-249, Springer, 1996.

Abstract

Abstract is missing.