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
Michaliszyn, Jakub
6
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Learning infinite-word automata with loop-index queries:
Michaliszyn, Jakub
;
Otop, Jan
Artificial Intelligence. 307 (2022) - p. 103710 , 2022
Link:
https://doi.org/10.1016/..
?
2
Modular Path Queries with Arithmetic:
Michaliszyn, Jakub
;
Otop, Jan
;
Wieczorek, Piotr
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021
Link:
https://doi.org/10.46298..
?
3
Non-deterministic weighted automata evaluated over Markov c..:
Michaliszyn, Jakub
;
Otop, Jan
Journal of Computer and System Sciences. 108 (2020) - p. 118-136 , 2020
Link:
https://doi.org/10.1016/..
?
4
On the Decidability of Elementary Modal Logics:
Michaliszyn, Jakub
;
Otop, Jan
;
Kieroński, Emanuel
ACM Transactions on Computational Logic. 17 (2015) 1 - p. 1-47 , 2015
Link:
https://doi.org/10.1145/..
?
5
On the Decidability of Elementary Modal Logics:
Michaliszyn, Jakub
;
Otop, Jan
;
Kieroński, Emanuel
ACM Transactions on Computational Logic (TOCL). 17 (2015) 1 - p. 1-47 , 2015
Link:
https://dl.acm.org/doi/1..
?
6
Two-Variable First-Order Logic with Equivalence Closure:
Kieroński, Emanuel
;
Michaliszyn, Jakub
;
Pratt-Hartmann, Ian
.
SIAM Journal on Computing. 43 (2014) 3 - p. 1012-1063 , 2014
Link:
https://doi.org/10.1137/..
1-6