title
Sõnade ja kuhjade normaliseerimine tõestusassistendis Lean
Normalization of Strings and Heaps in the Proof Assistant Lean
author
Mesila, Villem
keywords
magistritööd
master's theses
Mazurkiewicz traces
Viennot heaps of pieces
Foata normal form
formalization
supervisor
Maarand, Hendrik
study program
Informaatika
Computer Science
defence date
05.06.2026
language
est
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
infotehnoloogia teaduskond
School of Information Technologies
department / college
tarkvarateaduse instituut
Department of Software Science