Rewriting for Traced Monoidal Closed Categories
autor
vastutusandmed
Alessandro Di Giorgio, Dan R. Ghica, Fabio Zanasi
allikas
Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 24–43 : ill
seeria-sari
Lecture notes in computer science ; 15720
konverentsi nimetus, aeg
Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, June 11–12, 2025
konverentsi toimumispaik
Koblenz, Germany
ISSN
0302-9743
1611-3349
ISBN
978-3-031-94705-6
978-3-031-94706-3 (Online)
märkused
Bibliogr.: 32 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
klassifikaator
kategooria (üld)
kategooria (alam)
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).