Efficient algorithms for games played on trees with back-edges (Q3225708)
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 6017841
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient algorithms for games played on trees with back-edges |
scientific article; zbMATH DE number 6017841 |
Statements
22 March 2012
0 references
Büchi games
0 references
tree with back-edges
0 references
parity games
0 references
0.8067255020141602
0 references
0.7729595899581909
0 references
0.761849045753479
0 references
0.7579670548439026
0 references
0.7571619749069214
0 references
