Rewriting for Traced Monoidal Closed Categories
autor
Di Giorgio, Alessandro
Ghica, Dan R.
Zanasi, Fabio
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
Springer Nature
ilmumisaasta
2025
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
leitav
https://doi.org/10.1007/978-3-031-94706-3_2
märksõna
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
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
String diagrams
Hypergraphs
Rewriting
ISSN
0302-9743
1611-3349
ISBN
978-3-031-94705-6
978-3-031-94706-3 (Online)
märkused
Bibliogr.: 32 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise