%0 Journal Article %1 journals/corr/abs-2401-13382 %A Das, Anupam %A De, Abhishek %D 2024 %J CoRR %K dblp %T A proof theory of right-linear (omega-)grammars via cyclic proofs. %U http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-13382 %V abs/2401.13382

@article{journals/corr/abs-2401-13382, added-at = {2024-02-05T00:00:00.000+0100}, author = {Das, Anupam and De, Abhishek}, biburl = {https://www.bibsonomy.org/bibtex/2c14c75418fd4cf66c9a4c341cba08ae9/dblp}, ee = {https://doi.org/10.48550/arXiv.2401.13382}, interhash = {929d22e97dc2770e173c9348254db1c4}, intrahash = {c14c75418fd4cf66c9a4c341cba08ae9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:13:46.000+0200}, title = {A proof theory of right-linear (omega-)grammars via cyclic proofs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-13382}, volume = {abs/2401.13382}, year = 2024 }