Litcius/Paper detail

On Decidability of Theories of Regular Languages

Sergey Mikhailovich Dudakov, Boris Karlov

2020Theory of Computing Systems12 citationsDOI

Topics & Concepts

DecidabilityMathematicsComputer scienceLinguisticsProgramming languageDiscrete mathematicsPhilosophysemigroups and automata theoryAdvanced Algebra and LogicCoding theory and cryptography
On Decidability of Theories of Regular Languages | Litcius