Paper: Parikh's theorem for infinite alphabets (at LICS 2021)
Authors: Piotr Hofman Marta Juzepczuk Slawomir Lasota Mohnish Pattathurajan
Abstract
No Abstract Available
BibTeX
@InProceedings{HofmanJuzepczukLaso-Parikhstheoremforin, author = {Piotr Hofman and Marta Juzepczuk and Slawomir Lasota and Mohnish Pattathurajan}, title = {Parikh's theorem for infinite alphabets}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--13}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }