Deciding low levels of tree-automata hierarchy (Q4916202)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6156010
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Deciding low levels of tree-automata hierarchy |
scientific article; zbMATH DE number 6156010 |
Statements
Deciding low levels of tree-automata hierarchy (English)
0 references
19 April 2013
0 references
finite automata
0 references
quantifier hierarchy
0 references
mu-calculus
0 references
fixpoint
0 references
0.7793719172477722
0 references
0.7781862616539001
0 references
0.7766368985176086
0 references
0.7751880884170532
0 references
0.7726877927780151
0 references
