Intesection types and resource control in the intuitionistic sequent lambda calculus

Ivetić, Jelena

Резултати

еНаука > Резултати > 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

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

Google Scholar^TM

Creative Commons лиценца