Parikh’s theorem in commutative Kleene algebra (1999)

by Mark W Hopkins, Dexter Kozen
Venue:In Proceedings of LICS