Formal languages via theories over strings: an overview of some recent results
From MaRDI portal
Publication:6190877
zbMATH Open1529.68137MaRDI QIDQ6190877FDOQ6190877
Authors: Joel D. Day, Vijay Ganesh, Florin Manea 
Publication date: 6 February 2024
Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/765/811
Recommendations
- A closer look at the expressive power of logics based on word equations
- String theories involving regular membership predicates: from practice to theory and back
- On decidability of theories of regular languages
- On decidability of regular languages theories
- The satisfiability of word equations: decidable and undecidable theories
This page was built for publication: Formal languages via theories over strings: an overview of some recent results
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190877)
