Zum Inhalt springen Apt, Krzysztof R. [HerausgeberIn]; Grädel, Erich [HerausgeberIn] Lectures in game theory for computer scientists Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge University Press, 2011 Löding, Christof [VerfasserIn] Infinite graphs generated by tree rewriting Bücher Online ansehen Schließen > Zugang https://d-nb.info/967703514/34 Informationen zum Titel an der RWTH Aachen (kostenfrei) Informationen zum Titel an der RWTH Aachen Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Landwehr, Patrick [VerfasserIn] ; Löding, Christof [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn] Tree automata with constraints on infinite trees Bücher Online ansehen Schließen > Zugang https://d-nb.info/1250917743/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2021 Schuster, Martin [VerfasserIn] ; Schwentick, Thomas [AkademischeR BetreuerIn]; Löding, Christof [Sonstige Person, Familie und Körperschaft] Context-free games on strings and nested words Bücher Online ansehen Schließen > Zugang https://d-nb.info/1142001792/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dortmund: Universitätsbibliothek Dortmund, 2017 Landwehr, Patrick [VerfasserIn] ; Löding, Christof [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn] Tree automata with constraints on infinite trees Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://publications.rwth-aachen.de/record/837422 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2021 Schuster, Martin [VerfasserIn] ; Schwentick, Thomas [MitwirkendeR]; Löding, Christof [MitwirkendeR] Context-free games on strings and nested words Hochschulschriften Online ansehen Schließen > Links http://hdl.handle.net/2003/36119 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Eldorado - Repositorium der TU Dortmund, 2017-01-01 Jacobs, Bart [HerausgeberIn]; Löding, Christof [HerausgeberIn] Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - [1st ed. 2016] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9634 Colcombet, Thomas [Sonstige Person, Familie und Körperschaft]; Löding, Christof [Sonstige Person, Familie und Körperschaft] Transforming structures by set interpretations Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01fn09/517628899.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH, 2006 Erschienen in: Aachener Informatik-Berichte ; 2006,7 Karianto, Wong [Sonstige Person, Familie und Körperschaft]; Löding, Christof [Sonstige Person, Familie und Körperschaft] Unranked tree automata with Sibling equalities and disequalities Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01fn09/528576402.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH, 2006 Erschienen in: Aachener Informatik-Berichte ; 2006,13 Löding, Christof [Sonstige Person, Familie und Körperschaft]; Rohde, Philipp [Sonstige Person, Familie und Körperschaft] Solving the sabotage game is PSPACE-hard Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01fn09/500910030.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH, 2003 Erschienen in: Aachener Informatik-Berichte ; 2003,5 Bohn, León [VerfasserIn]; Löding, Christof [VerfasserIn] ; León Bohn and Christof Löding [MitwirkendeR] Passive Learning of Deterministic Büchi Automata by Combinations of DFAs Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 Bohn, León [VerfasserIn]; Löding, Christof [VerfasserIn] ; León Bohn and Christof Löding [MitwirkendeR] Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021 Löding, Christof [VerfasserIn]; Tollkötter, Andreas [VerfasserIn] ; Christof Löding and Andreas Tollkötter [MitwirkendeR] State Space Reduction For Parity Automata Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Löding, Christof [VerfasserIn]; Pirogov, Anton [VerfasserIn] ; Christof Löding and Anton Pirogov [MitwirkendeR] Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp (Track B: Automata, Logic, Semantics, and Theory of Programming) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Landwehr, Patrick [VerfasserIn]; Löding, Christof [VerfasserIn] ; Patrick Landwehr and Christof Löding [MitwirkendeR] Tree Automata with Global Constraints for Infinite Trees Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Löding, Christof [VerfasserIn]; Tollkötter, Andreas [VerfasserIn] ; Christof Löding and Andreas Tollkötter [MitwirkendeR] Transformation Between Regular Expressions and omega-Automata Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016 Löding, Christof [VerfasserIn]; Winter, Sarah [VerfasserIn] ; Christof Löding and Sarah Winter [MitwirkendeR] Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016 Löding, Christof [VerfasserIn]; Repke, Stefan [VerfasserIn] ; Christof Löding and Stefan Repke [MitwirkendeR] Decidability Results on the Existence of Lookahead Delegators for NFA Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Löding, Christof [VerfasserIn]; Wong, Karianto [VerfasserIn] ; Christof Löding and Karianto Wong [MitwirkendeR] On Nondeterministic Unranked Tree Automata with Sibling Constraints Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009 Bohn, Leon [VerfasserIn]; Löding, Christof [VerfasserIn] Constructing Deterministic Parity Automata from Positive and Negative Examples Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2023
Apt, Krzysztof R. [HerausgeberIn]; Grädel, Erich [HerausgeberIn] Lectures in game theory for computer scientists Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge University Press, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [VerfasserIn] Infinite graphs generated by tree rewriting Bücher Online ansehen Schließen > Zugang https://d-nb.info/967703514/34 Informationen zum Titel an der RWTH Aachen (kostenfrei) Informationen zum Titel an der RWTH Aachen Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugang https://d-nb.info/967703514/34 Informationen zum Titel an der RWTH Aachen (kostenfrei) Informationen zum Titel an der RWTH Aachen Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Landwehr, Patrick [VerfasserIn] ; Löding, Christof [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn] Tree automata with constraints on infinite trees Bücher Online ansehen Schließen > Zugang https://d-nb.info/1250917743/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2021
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schuster, Martin [VerfasserIn] ; Schwentick, Thomas [AkademischeR BetreuerIn]; Löding, Christof [Sonstige Person, Familie und Körperschaft] Context-free games on strings and nested words Bücher Online ansehen Schließen > Zugang https://d-nb.info/1142001792/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dortmund: Universitätsbibliothek Dortmund, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Landwehr, Patrick [VerfasserIn] ; Löding, Christof [AkademischeR BetreuerIn]; Grädel, Erich [AkademischeR BetreuerIn] Tree automata with constraints on infinite trees Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://publications.rwth-aachen.de/record/837422 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2021
> Zugang Zugang zur Ressource (via DOI) https://publications.rwth-aachen.de/record/837422 Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schuster, Martin [VerfasserIn] ; Schwentick, Thomas [MitwirkendeR]; Löding, Christof [MitwirkendeR] Context-free games on strings and nested words Hochschulschriften Online ansehen Schließen > Links http://hdl.handle.net/2003/36119 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Eldorado - Repositorium der TU Dortmund, 2017-01-01
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Jacobs, Bart [HerausgeberIn]; Löding, Christof [HerausgeberIn] Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - [1st ed. 2016] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9634
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Colcombet, Thomas [Sonstige Person, Familie und Körperschaft]; Löding, Christof [Sonstige Person, Familie und Körperschaft] Transforming structures by set interpretations Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01fn09/517628899.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH, 2006 Erschienen in: Aachener Informatik-Berichte ; 2006,7
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Karianto, Wong [Sonstige Person, Familie und Körperschaft]; Löding, Christof [Sonstige Person, Familie und Körperschaft] Unranked tree automata with Sibling equalities and disequalities Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01fn09/528576402.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH, 2006 Erschienen in: Aachener Informatik-Berichte ; 2006,13
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [Sonstige Person, Familie und Körperschaft]; Rohde, Philipp [Sonstige Person, Familie und Körperschaft] Solving the sabotage game is PSPACE-hard Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01fn09/500910030.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH, 2003 Erschienen in: Aachener Informatik-Berichte ; 2003,5
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bohn, León [VerfasserIn]; Löding, Christof [VerfasserIn] ; León Bohn and Christof Löding [MitwirkendeR] Passive Learning of Deterministic Büchi Automata by Combinations of DFAs Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bohn, León [VerfasserIn]; Löding, Christof [VerfasserIn] ; León Bohn and Christof Löding [MitwirkendeR] Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [VerfasserIn]; Tollkötter, Andreas [VerfasserIn] ; Christof Löding and Andreas Tollkötter [MitwirkendeR] State Space Reduction For Parity Automata Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [VerfasserIn]; Pirogov, Anton [VerfasserIn] ; Christof Löding and Anton Pirogov [MitwirkendeR] Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp (Track B: Automata, Logic, Semantics, and Theory of Programming) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Landwehr, Patrick [VerfasserIn]; Löding, Christof [VerfasserIn] ; Patrick Landwehr and Christof Löding [MitwirkendeR] Tree Automata with Global Constraints for Infinite Trees Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [VerfasserIn]; Tollkötter, Andreas [VerfasserIn] ; Christof Löding and Andreas Tollkötter [MitwirkendeR] Transformation Between Regular Expressions and omega-Automata Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [VerfasserIn]; Winter, Sarah [VerfasserIn] ; Christof Löding and Sarah Winter [MitwirkendeR] Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [VerfasserIn]; Repke, Stefan [VerfasserIn] ; Christof Löding and Stefan Repke [MitwirkendeR] Decidability Results on the Existence of Lookahead Delegators for NFA Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Löding, Christof [VerfasserIn]; Wong, Karianto [VerfasserIn] ; Christof Löding and Karianto Wong [MitwirkendeR] On Nondeterministic Unranked Tree Automata with Sibling Constraints Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bohn, Leon [VerfasserIn]; Löding, Christof [VerfasserIn] Constructing Deterministic Parity Automata from Positive and Negative Examples Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Universitätsbibliothek der RWTH Aachen, 2023
> Zugang Zugang zur Ressource (via DOI) Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (62) Wert ausschließen Bücher (23) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (50) Wert ausschließen Ohne Angabe (35) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (56) Wert ausschließen Nicht zu entscheiden (30) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (45) Wert ausschließen Mathematik (17) Wert ausschließen Technik (3) Wert ausschließen Allgemeines (2) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Löding, Christof (77) Wert ausschließen Madhusudan, P. (11) Wert ausschließen Winter, Sarah (9) Wert ausschließen Pirogov, Anton (7) Wert ausschließen Colcombet, Thomas (6) Wert ausschließen Löding, Christof (6) Wert ausschließen Peña, Lucas (6) Wert ausschließen Neider, Daniel (5) Wert ausschließen Serre, Olivier (5) Wert ausschließen Filiot, Emmanuel (4) Wert ausschließen Landwehr, Patrick (4) Wert ausschließen Murali, Adithya (4) Wert ausschließen Bohn, Leon (3) Wert ausschließen Garg, Pranav (3) Wert ausschließen Grädel, Erich (3) Wert ausschließen Lang, Martin (3) Wert ausschließen Rohde, Philipp (3) Wert ausschließen Thomas, Wolfgang (3) Wert ausschließen Tollkötter, Andreas (3) Wert ausschließen Bohn, León (2) Wert ausschließen Carayol, Arnaud (2) Wert ausschließen Christof Löding and Andreas Tollkötter (2) Wert ausschließen Emmanuel Filiot and Ismaël Jecker and Christof Löding and Sarah Winter (2) Wert ausschließen Fridman, Wladimir (2) Wert ausschließen Grädel, Erich (2) Wert ausschließen Jecker, Ismaël (2) Wert ausschließen León Bohn and Christof Löding (2) Wert ausschließen Repke, Stefan (2) Wert ausschließen Schewe, Sven (2) Wert ausschließen Schuster, Martin (2) Wert ausschließen Schwentick, Thomas (2) Wert ausschließen Zimmermann, Martin (2) Wert ausschließen Apt, Krzysztof R. (1) Wert ausschließen Ábrahám, Erika (1) Wert ausschließen Benedikt, Michael (1) Wert ausschließen Blanchard, Eion (1) Wert ausschließen Bousquet, Nicolas (1) Wert ausschließen Breuers, Stefan (1) Wert ausschließen Bussche, Jan Van den (1) Wert ausschließen Bárány, Vince (1) Wert ausschließen Chatterjee, Krishnendu (1) Wert ausschließen Christau, Julien (1) Wert ausschließen Christof Löding (1) Wert ausschließen Christof Löding and Anton Pirogov (1) Wert ausschließen Christof Löding and Karianto Wong (1) Wert ausschließen Christof Löding and Sarah Winter (1) Wert ausschließen Christof Löding and Stefan Repke (1) Wert ausschließen Christopher Spinrath (1) Wert ausschließen Cristau, Julien (1) Wert ausschließen Czerwiński, Wojciech (1) Wert ausschließen Emmanuel Filiot and Christof Löding and Sarah Winter (1) Wert ausschließen Horn, Florian (1) Wert ausschließen Jacobs, Bart (1) Wert ausschließen Kaiser, Lukasz (1) Wert ausschließen Karianto, Wong (1) Wert ausschließen Kuijpers, Bart (1) Wert ausschließen Kuperberg, Denis (1) Wert ausschließen Lang, Martin Ulrich (1) Wert ausschließen Lasota, Sławomir (1) Wert ausschließen Leßenich, Simon (1) Wert ausschließen Loding, Christof (1) Wert ausschließen Lukasz Kaiser and Martin Lang and Simon Leßenich and Christof Löding (1) Wert ausschließen Lutz, Carsten (1) Wert ausschließen Manuel, Amaldev (1) Wert ausschließen Niwinski, Damian (1) Wert ausschließen Olschewski, Jörg (1) Wert ausschließen Patrick Landwehr and Christof Löding (1) Wert ausschließen Piórkowski, Radosław (1) Wert ausschließen Puppis, Gabriele (1) Wert ausschließen Spinrath, Christopher (1) Wert ausschließen Stachon, Max Philip (1) Wert ausschließen Thomas Colcombet and Denis Kuperberg and Christof Löding and Michael Vanden Boom (1) Wert ausschließen Vanden Boom, Michael (1) Wert ausschließen Walukiewicz, Igor (1) Wert ausschließen Wilke, Thomas (1) Wert ausschließen Wladimir Fridman and Christof Löding and Martin Zimmermann (1) Wert ausschließen Wojciech Czerwiński and Sławomir Lasota and Christof Löding and Radosław Piórkowski (1) Wert ausschließen Wolfgang Thomas and Julien Christau and Christof Löding (1) Wert ausschließen Wong, Karianto (1) Wert ausschließen Ábrahám, Erika (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (21) Wert ausschließen BASE - Bielefeld Academic Search Engine (18) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (17) Wert ausschließen Verbunddaten SWB (17) Wert ausschließen Lizenzfreie Online-Ressourcen (15) Wert ausschließen Diss online (6) Wert ausschließen Springer International Publishing (CrossRef) (6) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (3) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen Elsevier BV (CrossRef) (2) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen