A fully equational proof of Parikh’s theorem (0)

by L Aceto, Z Ésik, A Ingólfsdóttir
Venue:RAIRO - Theoretical Informatics and Applications