×

zbMATH — the first resource for mathematics

Identities in iterative and rational algebraic theories. (English) Zbl 0466.68010

MSC:
68N01 General topics in the theory of software
18C10 Theories (e.g., algebraic theories), structure, and semantics
18B20 Categories of machines, automata
PDF BibTeX XML Cite