Aurélien Lamercerie, Benoît Caillaud. An Algebra of Deterministic Propositional Acceptance Automata (DPAA). In Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020. pages 1-8, IEEE, 2020. [doi]
@inproceedings{LamercerieC20, title = {An Algebra of Deterministic Propositional Acceptance Automata (DPAA)}, author = {Aurélien Lamercerie and Benoît Caillaud}, year = {2020}, doi = {10.1109/FDL50818.2020.9232945}, url = {https://doi.org/10.1109/FDL50818.2020.9232945}, researchr = {https://researchr.org/publication/LamercerieC20}, cites = {0}, citedby = {0}, pages = {1-8}, booktitle = {Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020}, publisher = {IEEE}, isbn = {978-1-7281-8928-4}, }