Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 386 von 487


Link zu diesem Datensatz	https://d-nb.info/1365368777
Titel	Emptiness Of Alternating Tree Automata Using Games With Imperfect Information / Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre
Person(en)	Fijalkow, Nathanaël (Verfasser) Pinchinat, Sophie (Verfasser) Serre, Olivier (Verfasser)
Verlag	Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung	Erscheinungsdatum: 2013
Umfang/Format	Online-Ressource (pdf)
Persistent Identifier	URN: urn:nbn:de:0030-drops-43812 DOI: 10.4230/LIPIcs.FSTTCS.2013.299
URL	https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.299 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Beziehungen	Leibniz International Proceedings in Informatics, 2013, Volume 24, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), page 299-311
DDC-Notation	519.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	510 Mathematik

Online-Zugriff

Archivobjekt öffnen

Treffer 386 von 487

Korrekturanfrage