- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7470
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Di Stasio, Antonio
Murano, Aniello
Prignano, Vincenzo
Sorrentino, Loredana
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10472-020-09721-3
- URN
-
urn:nbn:de:101:1-2021031517444018971316
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Di Stasio, Antonio
- Murano, Aniello
- Prignano, Vincenzo
- Sorrentino, Loredana
- SpringerLink (Online service)
Ähnliche Objekte (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