compact view print

Rewriting for Traced Monoidal Closed Categories

author
Di Giorgio, Alessandro
Ghica, Dan R.
Zanasi, Fabio
statement of authorship
Alessandro Di Giorgio, Dan R. Ghica, Fabio Zanasi
source
Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings
location of publication
Cham
publisher
Springer Nature
year of publication
2025
pages
p. 24–43 : ill
series
Lecture notes in computer science ; 15720
conference name, date
Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, June 11–12, 2025
conference location
Koblenz, Germany
url
https://doi.org/10.1007/978-3-031-94706-3_2
subject term
diagrammid
monoidid
ümberki
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Conference proceedings at WOS
Article at WOS
category (general)
Mathematics
Computer science
category (sub)
Mathematics. Theoretical computer science
Computer science. General computer science
keyword
String diagrams
Hypergraphs
Rewriting
ISSN
0302-9743
1611-3349
ISBN
978-3-031-94705-6
978-3-031-94706-3 (Online)
notes
Bibliogr.: 32 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Di Giorgio, A., Ghica, D.R., Zanasi, F. Rewriting for Traced Monoidal Closed Categories // Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings. Cham : Springer Nature, 2025. p. 24–43 : ill. (Lecture notes in computer science ; 15720). https://doi.org/10.1007/978-3-031-94706-3_2