Login / Signup

On Decidability of Theories of Regular Languages.

Sergey M. DudakovBoris Karlov
Published in: Theory Comput. Syst. (2021)
Keyphrases