Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rb"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1356907202 |
Titel | Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials / Erich Grädel, Niels Lücking, Matthias Ferdinand Naaf |
Person(en) |
Grädel, Erich (Verfasser) Lücking, Niels (Verfasser) Naaf, Matthias Ferdinand (Verfasser) |
Verlag | Aachen : Universitätsbibliothek der RWTH Aachen |
Zeitliche Einordnung | Erscheinungsdatum: 2024 |
Umfang/Format | Online-Ressource (pdf) |
Persistent Identifier |
URN: urn:nbn:de:101:1-2502200038241.548131097568 DOI: 10.18154/RWTH-2024-03262 |
URL | https://publications.rwth-aachen.de/record/981847 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Anmerkungen | In: 10.46298/LMCS-20(1:21)2024 |
DDC-Notation | 519.3 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 510 Mathematik |
Online-Zugriff | Archivobjekt öffnen |
