A proof theory of right-linear (ω-)grammars via cyclic proofs.

Anupam Das, Abhishek De

Browse the full LICS paper archive.