Separating regular languages with two quantifier alternations (Q4558789)
From MaRDI portal
scientific article; zbMATH DE number 6987097
Language | Label | Description | Also known as |
---|---|---|---|
English | Separating regular languages with two quantifier alternations |
scientific article; zbMATH DE number 6987097 |
Statements
30 November 2018
0 references
words
0 references
regular languages
0 references
concatenation hierarchies
0 references
first-order logic
0 references
quantifier alternation
0 references
membership
0 references
separation
0 references
0 references
Separating regular languages with two quantifier alternations (English)
0 references