Jeffrey O. Shallit. Using Automata and a Decision Procedure to Prove Results in Pattern Matching (Invited Talk). In Hideo Bannai, Jan Holub 0001, editors, 33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022, June 27-29, 2022, Prague, Czech Republic. Volume 223 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{Shallit22-0,
title = {Using Automata and a Decision Procedure to Prove Results in Pattern Matching (Invited Talk)},
author = {Jeffrey O. Shallit},
year = {2022},
doi = {10.4230/LIPIcs.CPM.2022.2},
url = {https://doi.org/10.4230/LIPIcs.CPM.2022.2},
researchr = {https://researchr.org/publication/Shallit22-0},
cites = {0},
citedby = {0},
booktitle = {33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022, June 27-29, 2022, Prague, Czech Republic},
editor = {Hideo Bannai and Jan Holub 0001},
volume = {223},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-234-1},
}