An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration.

Zoltn sik

Browse the full FCT paper archive.