Results
| Title: | Sound and complete subtyping on intersection and union types | Authors: | Gilezan, Silvia   |
Issue Date: | 2017 | Publication: | Book of Abstracts: Logics and Applications - LAP 2017 | Publisher: | Novi Sad : Fakultet tehničkih nauka | Type: | Conference Paper | Collation: | 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 |
Project: | 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 |
Metadata source: | Migracija | Availability note: | Подаци и/или пуни текст су непотпуни | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.