A Monoidal View on Fixpoint Checks
In: Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings / Fernández, Maribel; Poskitt, Christopher M. (Hrsg.). - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 - 1. Aufl., Cham: Springer, 2023 - (Lecture Notes in Computer Science ; 13961), S. 3 - 21
2023Buchaufsatz/Kapitel in TagungsbandOA Grün
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Titel in Englisch:
A Monoidal View on Fixpoint Checks
Autor*in:
Baldan, Paolo
- LSF ID
- 60049
- ORCID
-
0000-0002-9901-7392
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
korrespondierende*r Autor*in
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
-
0000-0002-4193-2889
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Erscheinungsjahr:
2023
Open Access?:
OA Grün
arXiv.org ID
Scopus ID
Sprache des Textes:
Englisch
Erschienen in
Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings
Konferenz
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023
Herausgeber*in:
Fernández, Maribel;Poskitt, Christopher M.
Auflage:
1. Aufl.
Erscheinungsort:
Cham
Verlag:
Springer
Erscheinungsjahr:
2023
Open Access?:
Open Access
in:
S. 3 - 21
ISBN
ISBN
ISBN
ISSN
ISSN
PPN:
Sprache des Textes:
Englisch