- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7470
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Improving parity games in practice ; day:23 ; month:1 ; year:2021 ; pages:1-24
Annals of mathematics and artificial intelligence ; (23.1.2021), 1-24
- Creator
-
Di Stasio, Antonio
Murano, Aniello
Prignano, Vincenzo
Sorrentino, Loredana
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10472-020-09721-3
- URN
-
urn:nbn:de:101:1-2021031517444018971316
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:26 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Di Stasio, Antonio
- Murano, Aniello
- Prignano, Vincenzo
- Sorrentino, Loredana
- SpringerLink (Online service)
Other Objects (12)
Parity game reductions
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Parity games, separations, and the modal μ-calculus
Parity games, separations, and the modal μ-calculus
Improving the error-floor behavior of low-density parity-check codes
Partial-order reduction for parity games and parameterised Boolean equation systems
Improving the power of ordered binary decision diagrams by integrating parity nodes
Practicing Parity
Purchasing power parity and interest parity in the laboratory
The Strahler Number of a Parity Game: Q/A Session C - Paper C4.B
Uncovered Interest Parity
Parity game reductions
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Parity games, separations, and the modal μ-calculus
Parity games, separations, and the modal μ-calculus
Improving the error-floor behavior of low-density parity-check codes
Partial-order reduction for parity games and parameterised Boolean equation systems
Improving the power of ordered binary decision diagrams by integrating parity nodes
Practicing Parity
Purchasing power parity and interest parity in the laboratory
The Strahler Number of a Parity Game: Q/A Session C - Paper C4.B
Uncovered Interest Parity
Parity game reductions
Optimality and resilience in parity games
Constrained Clustering Problems and Parity Games
Parity games, separations, and the modal μ-calculus
Parity games, separations, and the modal μ-calculus
Improving the error-floor behavior of low-density parity-check codes
Partial-order reduction for parity games and parameterised Boolean equation systems
Improving the power of ordered binary decision diagrams by integrating parity nodes
Practicing Parity
Purchasing power parity and interest parity in the laboratory
The Strahler Number of a Parity Game: Q/A Session C - Paper C4.B