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. (Eds.). - 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), pp. 3 - 21
2023book article/chapter in ProceedingsOA Green
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science » Computer Science » Theoretical Computer Science
Title in English:
A Monoidal View on Fixpoint Checks
Author:
Baldan, Paolo
- LSF ID
- 60049
- ORCID
-
0000-0002-9901-7392
- Other
- connected with university
corresponding author
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
-
0000-0002-4193-2889
- Other
- connected with university
Year of publication:
2023
Open Access?:
OA Green
arXiv.org ID
Scopus ID
Language of text:
English
Appears in
Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings
Conference
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023
Editor:
Fernández, Maribel;Poskitt, Christopher M.
Edition:
1. Aufl.
Place of publication:
Cham
Publisher:
Springer
Year of publication:
2023
Open Access?:
Open Access
in:
pp. 3 - 21
ISBN
ISBN
ISBN
ISSN
ISSN
PPN:
Language of text:
English