Rewriting for Traced Monoidal Closed Categories
Di Giorgio, Alessandro
;
Ghica, Dan R.
;
Zanasi, Fabio
Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings
2025
/
p. 24–43 : ill
https://doi.org/10.1007/978-3-031-94706-3_2
https://www.scopus.com/pages/publications/105009025637?origin=resultslist
https://www.scopus.com/pages/publications/105009025637?origin=resultslist
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