String Theories Involving Regular Membership Predicates: From Practice to Theory and Back

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]

Abstract

Abstract is missing.