Browse by mentor
Now showing items 1-4 of 4
-
Intesection types and resource control in the intuitionistic sequent lambda calculus / Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
(Универзитет у Новом Саду, Факултет техничких наука, 09-10-2013) -
Namenski jezik za vizuelizaciju evaluiranu statističkom analizom malih skupova podataka / Domain specific language for visualization evaluated by the statistical analysis of small data sets
(Универзитет у Новом Саду, Факултет техничких наука, 01-10-2018) -
Parallel software system for counting finite models / Паралелни програмски систем за пребројавање коначних структура
(Универзитет у Новом Саду, Факултет техничких наука, 28-02-2020) -
Probabilistic reasoning in computation and simple type theory / Вероватносно закључивање у израчунавању и теорији функционалних типова
(Универзитет у Новом Саду, Факултет техничких наука, 08-04-2024)