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
zur Desktop-Version
Toggle navigation
Savateev, Yury
9
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Reverse Engineering of Temporal Queries Mediated by LTL Ont..:
Fortin, Marie
;
Konev, Boris
;
Ryzhikov, Vladislav
...
http://arxiv.org/abs/2305.01248. , 2023
Link:
http://arxiv.org/abs/230..
?
2
Deciding FO-rewritability of regular languages and ontology..:
Kurucz, Agi
;
Ryzhikov, Vladislav
;
Savateev, Yury
.
http://arxiv.org/abs/2207.06210. , 2022
Link:
http://arxiv.org/abs/220..
?
3
Unique Characterisability and Learnability of Temporal Inst..:
Fortin, Marie
;
Konev, Boris
;
Ryzhikov, Vladislav
...
http://arxiv.org/abs/2205.01651. , 2022
Link:
http://arxiv.org/abs/220..
?
4
Deciding FO-rewritability of ontology-mediated queries in l..:
Ryzhikov, Vladislav
;
Savateev, Yury
;
Zakhariyashchev, Michael
https://eprints.bbk.ac.uk/id/eprint/46963/1/LIPIcs-TIME-2021-10.pdf. , 2021
Link:
https://eprints.bbk.ac.u..
?
5
Deciding FO-Rewritability of Ontology-Mediated Queries in L..:
Ryzhikov, Vladislav
;
Savateev, Yury
;
Zakharyaschev, Michael
doi:10.4230/LIPIcs.TIME.2021.10. , 2021
Link:
https://doi.org/10.4230/..
?
6
Deciding FO-definability of regular languages:
Kurucz, Agi
;
Ryzhikov, Vladislav
;
Savateev, Yury
.
http://arxiv.org/abs/2105.06202. , 2021
Link:
http://arxiv.org/abs/210..
?
7
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic:
Savateev, Yury
;
Shamkanov, Daniyar
http://arxiv.org/abs/1804.00955. , 2018
Link:
http://arxiv.org/abs/180..
?
8
Cut Elimination for Weak Modal Grzegorczyk Logic via Non-We..:
Savateev, Yury
;
Shamkanov, Daniyar
http://arxiv.org/abs/1804.01432. , 2018
Link:
http://arxiv.org/abs/180..
?
9
Cut-elimination for the modal Grzegorczyk logic via non-wel..:
Savateev, Yury
;
Shamkanov, Daniyar
http://arxiv.org/abs/1704.03258. , 2017
Link:
http://arxiv.org/abs/170..
1-9