Equational axioms associated with finite automata for fixed point operations in cartesian categories

Zoltán Ésik. Equational axioms associated with finite automata for fixed point operations in cartesian categories. Mathematical Structures in Computer Science, 27(1):54-69, 2017. [doi]

Authors

Zoltán Ésik

This author has not been identified. Look up 'Zoltán Ésik' in Google