Results
| Назив: | The Duality of Classical Intersection and Union Types | Аутори: | Downen, Paul; Ariola, Zena M.; Gilezan, Silvia   |
Година: | 2019 | Публикација: | Fundamenta Informaticae | ISSN: | 0169-2968 Fundamenta Informaticae Претражи идентификатор |
Издавач: | Amsterdam, Netherlands : IOS Press | Тип резултата: | Научни чланак | Колација: | vol. 170 br. 1-3 str. 39-92 | DOI: | 10.3233/fi-2019-1855 | WoS-ID: | 000492730000004 | Scopus-ID: | 2-s2.0-85074327263 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2576 https://enauka.gov.rs/handle/123456789/455977 |
Пројекат: | National Science Foundation, Grants CCF-1423617 and CCF-1719158 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 | М-категорија: | 22M22 - Међународни часопис категорије M22 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.