Parikh's theorem for infinite alphabets.
Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan
Browse the full LICS paper archive.
Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan
Browse the full LICS paper archive.