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
https://www.scopus.com/pages/publications/105009025637?origin=resultslist
https://www.scopus.com/pages/publications/105009025637?origin=resultslist
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:001549609900002
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
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