Rule algebras for adhesive categories
autor
Behr, Nicolas
vastutusandmed
Nicolas Behr, Paweĺ Soboćinski
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 16, 3
ilmumisaasta
leheküljed
p. 2:1−2:38
ISSN
1860-5974
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
adhesive categories
double pushout (DPO) rewriting
rule algebras
stochastic mechanics
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
Behr, N., Sobocinski, P.M. Rule algebras for adhesive categories // Logical methods in computer science (2020) vol. 16, 3, p. 2:1−2:38. https://doi.org/10.23638/LMCS-16(3:2)2020