Beohar, Harsh; Gurke, Sebastian; König, Barbara; Messing, Karla:
Hennessy-Milner Theorems via Galois Connections
In: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) / Klin, Bartek; Pimentel, Elaine (Hrsg.). - 31st EACSL Annual Conference on Computer Science Logic, February 13-16, 2023, Warsaw, Poland - Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023 - (LIPIcs - Leibniz International Proceedings in Informatics ; 252), 12:1-12:18
2023Buchaufsatz/Kapitel in TagungsbandOA Gold
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Titel in Englisch:
Hennessy-Milner Theorems via Galois Connections
Autor*in:
Beohar, Harsh;Gurke, SebastianUDE
LSF ID
61591
Sonstiges
der Hochschule zugeordnete*r Autor*in
;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Messing, KarlaUDE
LSF ID
61590
Sonstiges
der Hochschule zugeordnete*r Autor*in
Open Access?:
OA Gold
DOI
10.4230/LIPIcs.CSL.2023.12
Sprache des Textes:
Englisch
Erschienen in
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Konferenz
31st EACSL Annual Conference on Computer Science Logic, February 13-16, 2023, Warsaw, Poland
Herausgeber*in:
Klin, Bartek;Pimentel, Elaine
Erscheinungsort:
Wadern
Verlag:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Erscheinungsjahr:
2023
in:
12:1-12:18
ISBN
978-3-95977-264-8
In Serie
LIPIcs - Leibniz International Proceedings in Informatics
in:
Band 252