Independence of the equational axioms for iteration theories
作者：
Highlights：
•
摘要
An equational characterization of iteration theories has been given in (Ésik, Comput. Linguist. Comput. Lang. 14 (1980), 183–207). In the present paper we establish a basic independence result for this axiomatization.
论文关键词：
论文评审过程：Received 15 January 1984, Available online 3 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(88)90020-7
