Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
Repository of the University of Ljubljana
Open Science Slovenia
Open Science
DiKUL
slv
|
eng
Search
Advanced
New in RUL
About RUL
In numbers
Help
Sign in
Numbers
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 (1)
Ivan Kobe:
A type theory for synthetic categories
BSc theses (2)
Maša Žaucer:
Formalization of the structure sheaf of a ring spectrum
Timon Najdovski:
Obrnljive funkcije so sfere v svetu
