Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On decidability of regular languages theories - MaRDI portal

On decidability of regular languages theories

From MaRDI portal

Publication:2330555

Jump to:navigation, search

DOI10.1007/978-3-030-19955-5_11OpenAlexW2950141706MaRDI QIDQ2330555

Boris Karlov, Sergey M. Dudakov

Publication date: 22 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-19955-5_11

zbMATH Keywords

undecidability quantifier elimination arithmetic regular languages theory Kleene star concatenation Union

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

On undecidability of concatenation theory for one-symbol languages ⋮ On theory of regular languages with the Kleene star operation ⋮ On decidability of theories of regular languages

This page was built for publication: On decidability of regular languages theories

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2330555&oldid=14930216"