Around dot-depth one (Q4923283)
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: Around dot-depth one |
scientific article; zbMATH DE number 6171168
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Around dot-depth one |
scientific article; zbMATH DE number 6171168 |
Statements
AROUND DOT-DEPTH ONE (English)
0 references
6 June 2013
0 references
finite semigroup
0 references
dot-depth hierarchy
0 references
star-free language
0 references
quantifier alternation
0 references
first-order logic
0 references
0.9947243332862854
0 references
0.8649659752845764
0 references
0.8405005931854248
0 references
