compact view print

Operational semantics with semicommutations

author
Maarand, Hendrik
Uustalu, Tarmo
statement of authorship
Hendrik Maarand and Tarmo Uustalu
source
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
location of publication
Tallinn
publisher
Department of Software Science, Tallinn University of Technology
year of publication
2019
pages
p. 40-43
conference name, date
31st Nordic Workshop on Programming Theory, NWPT 2019, 13–15 November 2019
conference location
Tallinn, Estonia
url
https://doi.org/10.23658/taltech.nwpt/2019
https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
subject term
programmeerimine
semantika
matemaatiline loogika
ISBN
978-9949-83-520-1
notes
Bibliogr.: 3 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Maarand, H., Uustalu, T. Operational semantics with semicommutations // 31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts. Tallinn : Department of Software Science, Tallinn University of Technology, 2019. p. 40-43. https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf