pealkiri
Sõnade ja kuhjade normaliseerimine tõestusassistendis Lean
Normalization of Strings and Heaps in the Proof Assistant Lean
autor
Mesila, Villem
märksõnad
magistritööd
master's theses
Mazurkiewicz traces
Viennot heaps of pieces
Foata normal form
formalization
juhendaja
Maarand, Hendrik
õppekava
Informaatika
Computer Science
kaitsmiskuupäev
05.06.2026
keel
est
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
tarkvarateaduse instituut
Department of Software Science