Operational semantics with semicommutations

vastutusandmed
Hendrik Maarand, Tarmo Uustalu
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 121
ilmumisaasta
leheküljed
art. 100677, 27 p
võtmesõna
Operational semantics
Derivatives of regular expressions
ISSN
2352-2208
märkused
Bibliogr.: 38 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
keel
inglise
Maarand, H., Uustalu, T. Operational semantics with semicommutations // Journal of logical and algebraic methods in programming (2021) vol. 121, art. 100677, 27 p.