Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS