DE eng

Search in the Catalogues and Directories

Hits 1 – 2 of 2

1
Büchi Good-for-Games Automata Are Efficiently Recognizable
In: LIPIcs–Leibniz International Proceedings in Informatics ; 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018) ; https://hal.archives-ouvertes.fr/hal-01910632 ; 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2018.16⟩ ; https://www.fsttcs.org/ (2018)
BASE
Show details
2
Büchi Good-for-Games Automata Are Efficiently Recognizable ...
Bagnol, Marc; Kuperberg, Denis. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2018
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
2
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern