Резултати

еНаука >  Резултати >  Intesection types and resource control in the intuitionistic sequent lambda calculus
Назив: Intesection types and resource control in the intuitionistic sequent lambda calculus
Остали називи: Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну
Tipovi sa presekom i kontrola resursa u intuicionističkom sekventnom lambda računu
Аутори: Ivetić, Jelena  
Ментор: Gilezan, Silvia  
Остала ауторства: Pantović, Jovanka  ; Lescanne, Pierre; Espírito Santo, José; Likavec, Silvia  ; Gilezan, Silvia  
Година: 2013
Публикација: Универзитет у Новом Саду
Издавач: Нови Сад : Универзитет у Новом Саду, Факултет техничких наука
Тип резултата: Докторска дисертација
Колација: str. 1-170
DOI: 10.2298/ns20131009ivetic
VBS COBISS: 283194119
URI: http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacijadisertacija.pdf?controlNumber=(BISIS)83357&fileName=disertacija.pdf&id=595&source=NaRDuS&language=sr
https://enauka.gov.rs/handle/123456789/556395
http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije141111324933636.pdf?controlNumber=(BISIS)83357&fileName=141111324933636.pdf&id=2657&source=NaRDuS&language=sr
http://www.cris.uns.ac.rs/record.jsf?recordId=83357&source=NaRDuS&language=sr
https://nardus.mpn.gov.rs/handle/123456789/8856
URL: https://nardus.mpn.gov.rs/handle/123456789/8856
М-категорија: 
70M70 - Одбрањена докторска дисертација

Алт метрика
Dimensions
Unpaywall

Google ScholarTM

Creative Commons лиценца