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
Nowotka, Dirk
Göller, Stefan

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

Dieses Objekt wird bereitgestellt von:
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

Ähnliche Objekte (12)