Rule algebras for adhesive categories

autor
Behr, Nicolas
vastutusandmed
Nicolas Behr, Paweĺ Soboćinski
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
TTÜ struktuuriüksus
keel
inglise
Behr, N., Soboćinski, P. Rule algebras for adhesive categories // Logical methods in computer science (2020) vol. 16, 3, p. 2:1−2:38.