×

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

Citations:

Zbl 0327.02040
PDF BibTeX XML Cite