Describing average- and longtime-behavior by weighted MSO logics (Q3586111)
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 5779317
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Describing average- and longtime-behavior by weighted MSO logics |
scientific article; zbMATH DE number 5779317 |
Statements
Describing Average- and Longtime-Behavior by Weighted MSO Logics (English)
0 references
3 September 2010
0 references
0.9616481065750122
0 references
0.8419947624206543
0 references
0.8388457894325256
0 references
0.8386568427085876
0 references
0.8373845815658569
0 references
