On parity game preorders and the logic of matching plays (Q2794366)
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: On parity game preorders and the logic of matching plays |
scientific article; zbMATH DE number 6553399
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On parity game preorders and the logic of matching plays |
scientific article; zbMATH DE number 6553399 |
Statements
On Parity Game Preorders and the Logic of Matching Plays (English)
0 references
10 March 2016
0 references
parity games
0 references
preorders
0 references
Kripke structures
0 references
0.9461994767189026
0 references
0.778175413608551
0 references
0.7736900448799133
0 references
0.7647306323051453
0 references
0.7627412676811218
0 references