Complete Axiomatizations of Some Quotient Term Algebras

Hubert Comon. Complete Axiomatizations of Some Quotient Term Algebras. In Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Volume 510 of Lecture Notes in Computer Science, pages 469-480, Springer, 1991.

Abstract

Abstract is missing.