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