Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka. String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. In Thierry Lecroq, Svetlana Puzynina, editors, Combinatorics on Words - 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings. Volume 12847 of Lecture Notes in Computer Science, pages 50-64, Springer, 2021. [doi]
@inproceedings{BerzishDGKMMN21,
title = {String Theories Involving Regular Membership Predicates: From Practice to Theory and Back},
author = {Murphy Berzish and Joel D. Day and Vijay Ganesh and Mitja Kulczynski and Florin Manea and Federico Mora and Dirk Nowotka},
year = {2021},
doi = {10.1007/978-3-030-85088-3_5},
url = {https://doi.org/10.1007/978-3-030-85088-3_5},
researchr = {https://researchr.org/publication/BerzishDGKMMN21},
cites = {0},
citedby = {0},
pages = {50-64},
booktitle = {Combinatorics on Words - 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings},
editor = {Thierry Lecroq and Svetlana Puzynina},
volume = {12847},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-85088-3},
}