Independence of the Equational Axioms for Iteration Theories

Zoltán Ésik. Independence of the Equational Axioms for Iteration Theories. J. Comput. Syst. Sci., 36(1):66-76, 1988.

Abstract

Abstract is missing.