Dialectica Petri nets
autor
vastutusandmed
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
allikas
Fundamenta Informaticae
kirjastus/väljaandja
Episciences
ajakirja aastakäik number kuu
vol. 194, 3
ilmumisaasta
leheküljed
art. 4
ISSN
1875-8681
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
Inglise
märksõna
võtmesõna
Dialectica categories
categorical models of Petri nets
linear logic of Petri nets
symmetric monoidal closed category
lineale
chemical reaction networks
klassifikaator
TTÜ struktuuriüksus
Di Lavore, E., Leal, W., de Paiva, V. Dialectica Petri nets // Fundamenta Informaticae (2025) vol. 194, 3, art. 4.