 |
Kiss, Csaba Tibor (2023) Busy beaver Turing-gépek algoritmikus keresése. BA/Bsc, Szegedi Tudományegyetem.
Csíkos, Gergő (2023) Fraktálok megjelenítése háromdimenziós térben. BA/Bsc, Szegedi Tudományegyetem.
Hajagos, Norbert (2023) Tail Recursion Modulo Cons optimalizálási probléma megoldása a Roc programozási nyelvben. BA/Bsc, Szegedi Tudományegyetem.
Szlavikovics, Máté (2023) Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése. BA/Bsc, Szegedi Tudományegyetem.
Eszes, Annamária (2022) Véges automaták minimalizálása. BA/Bsc, Szegedi Tudományegyetem.
Bajnóczi, Bendegúz (2020) Bonyolultságelméleti visszavezetések szemléletes implementációja. BA/Bsc, Szegedi Tudományegyetem.
Rátky, László (2018) Elemzési algoritmusok környezetfüggetlen nyelvekre. BA/Bsc, Szegedi Tudományegyetem.
Surányi, Tamás (2018) Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése. BA/Bsc, Szegedi Tudományegyetem.
