@inproceedings{https___doi.org_10.4230_lipics.stacs.2025.3,
    doi = {10.4230/lipics.stacs.2025.3},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.3},
    author = {Das, Anupam},
    keywords = {Regular languages, Linear grammars, Proof theory, Cyclic proofs, Automata theory, Fixed points, Games, Theory of computation → Regular languages, Theory of computation → Proof theory},
    language = {en},
    title = {Algebras for Automata: Reasoning with Regularity (Invited Talk)},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2025},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2025-3-17 13:39:43 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.stacs.2025.3, doi = {10.4230/lipics.stacs.2025.3}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.3}, author = {Das, Anupam}, keywords = {Regular languages, Linear grammars, Proof theory, Cyclic proofs, Automata theory, Fixed points, Games, Theory of computation → Regular languages, Theory of computation → Proof theory}, language = {en}, title = {Algebras for Automata: Reasoning with Regularity (Invited Talk)}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2025}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2025-3-17 13:39:43 +0100} }