Esik, Zoltan Identities in iterative and rational algebraic theories. (English) Zbl 0466.68010 Comput. Linguist. Comput. Lang. 14, 183-207 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 ReviewsCited in 25 Documents MSC: 68N01 General topics in the theory of software 18C10 Theories (e.g., algebraic theories), structure, and semantics 18B20 Categories of machines, automata Keywords:algebraic theory; rational theory; iterative theory; equational class; partial algebras PDF BibTeX XML Cite \textit{Z. Esik}, Comput. Linguist. Comput. Lang. 14, 183--207 (1980; Zbl 0466.68010)