Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Christian-Albrechts-Universität zu Kiel, Dissertation, 2021
- Erschienen in
-
Kiel Computer Science Series ; 2022/1
- Schlagwort
-
String
Light
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2022
- Urheber
-
Kulczynski, Mitja
- Beteiligte Personen und Organisationen
- DOI
-
10.21941/kcss/2022/1
- URN
-
urn:nbn:de:gbv:8:3-2022-00019-0
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 MEZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kulczynski, Mitja
- Nowotka, Dirk
- Göller, Stefan
- Universitätsbibliothek Kiel
Entstanden
- 2022