Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/First Intern. Workshop, HOA 93. Amsterdam, The Netherlands, September 1993

Б2.2, Б2.13, Б2.14, Б2.3.

Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/First Intern. Workshop, HOA 93. Amsterdam, The Netherlands, September 1993Ed. by Heering J., Meinke K., Moller B., Nipkow T..-Berlin, Heidelberg.: Springer, 1994.-Vol. 816.-344 p.-(Lecture Notes in Computer Science).