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
võtmesõna
adhesive categories
double pushout (DPO) rewriting
rule algebras
stochastic mechanics
ISSN
1860-5974
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
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