Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
Open Science Slovenia
Open Science
DiKUL
slv
|
eng
Search
Browse
New in RUL
About RUL
In numbers
Help
Sign in
Organisation
Files
Mentors
Basic
Bibliography
Published theses
Top keywords
Keyword timeline
Co-mentors
Bibliography of the person, including all types of documents, not only theses.
MSc theses (2)
Žiga Putrle:
Neprotislovnost klasične sintetične teorije izračunljivosti
Katja Albreht:
Modeli hiperbolične geometrije in njihova vizualizacija
BSc theses (6)
JANA ČEŠAREK:
Imaginarna kocka
IVO LIST:
Plavajoča vejica v čistem funkcijskem jeziku
Jure Taslak:
Yonedova lema in njena uporaba
BLAŽ ZUPANČIČ:
Izdelava in uporaba dokazovalnega pomočnika
Luka Sabotič:
Implementacija rekurzivnih podatkovnih tipov
Jure Smolar:
Kolimite v elementarnih toposih