String Theories Involving Regular Membership Predicates: From Practice to Theory and Back - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Murphy Berzish' in GoogleThis author has not been identified. Look up 'Joel D. Day' in GoogleThis author has not been identified. Look up 'Vijay Ganesh' in GoogleThis author has not been identified. Look up 'Mitja Kulczynski' in GoogleThis author has not been identified. Look up 'Florin Manea' in GoogleThis author has not been identified. Look up 'Federico Mora' in GoogleThis author has not been identified. Look up 'Dirk Nowotka' in Google

runs on WebDSL