Sound and complete subtyping on intersection and union types

Gilezan, Silvia

Rezultati

eNauka > Rezultati > Sound and complete subtyping on intersection and union types

Naziv:	Sound and complete subtyping on intersection and union types
Autori:	Gilezan, Silvia
Godina:	2017
Publikacija:	Book of Abstracts: Logics and Applications - LAP 2017
Izdavač:	Novi Sad : Fakultet tehničkih nauka
Tip rezultata:	Konferencijski rad
Kolacija:	str. 16-17
URI:	https://enauka.gov.rs/handle/123456789/142342 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4230
URL:	http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP_2017_Book_of_Abstracts.pdf http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP_2017_Book_of_Abstracts.pdf
Projekat:	Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Izvor metapodataka:	Migracija
Napomena o dostupnosti:	Подаци и/или пуни текст су непотпуни
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Google Scholar^TM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.