Sound and complete subtyping on intersection and union types

Gilezan, Silvia

Резултати

еНаука > Резултати > Sound and complete subtyping on intersection and union types

Назив:	Sound and complete subtyping on intersection and union types
Аутори:	Gilezan, Silvia
Година:	2017
Публикација:	Book of Abstracts: Logics and Applications - LAP 2017
Издавач:	Novi Sad : Fakultet tehničkih nauka
Тип резултата:	Конференцијски рад
Колација:	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
Пројекат:	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
Извор метаподатака:	Migracija
Напомена о доступности:	Подаци и/или пуни текст су непотпуни
М-категорија:	Мп категорија ће бити приказана накнадно.

Пронађи DOI

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

Google Scholar^TM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.