%0 Conference Paper %1 conf/cwords/BerzishDGKMMN21 %A Berzish, Murphy %A Day, Joel D. %A Ganesh, Vijay %A Kulczynski, Mitja %A Manea, Florin %A Mora, Federico %A Nowotka, Dirk %B WORDS %D 2021 %E Lecroq, Thierry %E Puzynina, Svetlana %I Springer %K dblp %P 50-64 %T String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. %U http://dblp.uni-trier.de/db/conf/cwords/words2021.html#BerzishDGKMMN21 %V 12847 %@ 978-3-030-85088-3

@inproceedings{conf/cwords/BerzishDGKMMN21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Berzish, Murphy and Day, Joel D. and Ganesh, Vijay and Kulczynski, Mitja and Manea, Florin and Mora, Federico and Nowotka, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/2529f009578cfff18846b81392ff02d72/dblp}, booktitle = {WORDS}, crossref = {conf/cwords/2021}, editor = {Lecroq, Thierry and Puzynina, Svetlana}, ee = {https://doi.org/10.1007/978-3-030-85088-3_5}, interhash = {ef9184ff6ff7bc855fa36193b4e75725}, intrahash = {529f009578cfff18846b81392ff02d72}, isbn = {978-3-030-85088-3}, keywords = {dblp}, pages = {50-64}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:05:55.000+0200}, title = {String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.}, url = {http://dblp.uni-trier.de/db/conf/cwords/words2021.html#BerzishDGKMMN21}, volume = 12847, year = 2021 }