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
ISSN
2352-2208
märkused
Bibliogr.: 38 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
Operational semantics
Derivatives of regular expressions
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
Uurimisrühm
Maarand, H., Uustalu, T. Operational semantics with semicommutations // Journal of logical and algebraic methods in programming (2021) vol. 121, art. 100677, 27 p.