Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Skrzypczak, Micha
10
Ergebnisse:
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Unambiguity in Automata Theory (Dagstuhl Seminar 21452):
Colcombet, Thomas
;
Quaas, Karin
;
Skrzypczak, Micha?
doi:10.4230/DagRep.11.10.57. , 2022
Link:
https://doi.org/10.4230/..
?
2
On Guidable Index of Tree Automata:
Niwi?ski, Damian
;
Skrzypczak, Micha?
doi:10.4230/LIPIcs.MFCS.2021.81. , 2021
Link:
https://doi.org/10.4230/..
?
3
Deterministic and Game Separability for Regular Languages o..:
Clemente, Lorenzo
;
Skrzypczak, Micha?
doi:10.4230/LIPIcs.ICALP.2021.126. , 2021
Link:
https://doi.org/10.4230/..
?
4
On the Succinctness of Alternating Parity Good-For-Games Au..:
Boker, Udi
;
Kuperberg, Denis
;
Lehtinen, Karoliina
.
doi:10.4230/LIPIcs.FSTTCS.2020.41. , 2020
Link:
https://doi.org/10.4230/..
?
5
Computing Measures of Weak-MSO Definable Sets of Trees:
Niwi?ski, Damian
;
Przyby?ko, Marcin
;
Skrzypczak, Micha?
doi:10.4230/LIPIcs.ICALP.2020.136. , 2020
Link:
https://doi.org/10.4230/..
?
6
Regular Choice Functions and Uniformisations For countable ..:
Michielini, Vincent
;
Skrzypczak, Micha?
doi:10.4230/LIPIcs.MFCS.2020.69. , 2020
Link:
https://doi.org/10.4230/..
?
7
Monadic Second Order Logic with Measure and Category Quanti..:
Mio, Matteo
;
Skrzypczak, Micha
;
Michalewski, Henryk
info:eu-repo/semantics/altIdentifier/doi/10.23638/LMCS-14(2:2)2018. , 2018
Link:
https://hal.archives-ouv..
?
8
Monadic Second Order Logic with Measure and Category Quanti..:
Mio, Matteo
;
Skrzypczak, Micha
;
Michalewski, Henryk
info:eu-repo/semantics/altIdentifier/doi/10.23638/LMCS-14(2:2)2018. , 2018
Link:
https://hal.science/hal-..
?
9
Monadic Second Order Logic with Measure and Category Quanti..:
Mio, Matteo
;
Skrzypczak, Micha
;
Michalewski, Henryk
info:eu-repo/semantics/altIdentifier/doi/10.23638/LMCS-14(2:2)2018. , 2018
Link:
https://hal.science/hal-..
?
10
Unambiguity and uniformization problems on infinite trees:
Bilkowski, Marcin
;
Skrzypczak, Micha?
doi:10.4230/LIPIcs.CSL.2013.81. , 2013
Link:
https://doi.org/10.4230/..
1-10