2 rezultata
1 - 2 / 2   1  |
1. Posplošeni Brouwerjev izrek Gašper Žajdela, 2021, diplomsko delo/naloga Ključne besede: retrakcija, negibna točka, simpleks, simplicialni kompleks |
2. Operacijska semantika za jezik s časovno omejenimi viri Gašper Žajdela, 2023, magistrsko delo/naloga Ključne besede: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija |
Iskanje izvedeno v 0.01 sek.
Na vrh