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
Mazurkiewiczi jäljed
Viennot kuhjad
Foata normaalkujud
Lean
formaliseerimine
masters 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