On decidability of theories of regular languages (Q2043872)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On decidability of theories of regular languages |
scientific article; zbMATH DE number 7377738
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On decidability of theories of regular languages |
scientific article; zbMATH DE number 7377738 |
Statements
On decidability of theories of regular languages (English)
0 references
3 August 2021
0 references
regular languages
0 references
theory
0 references
union
0 references
concatenation
0 references
Kleene star
0 references
quantifier elimination
0 references
arithmetic
0 references
undecidability
0 references
0.9973447
0 references
0.9292182
0 references
0.9220516
0 references
0.9220516
0 references
0.9188654
0 references
0 references
0 references
