Резултати
| Назив: | Approaching substructural term calculi via the resource control calculus | Аутори: | Gilezan, Silvia   ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne |
Година: | 2014 | Публикација: | Third Conference Logic and Applications LAP 2014 | Издавач: | Dubrovnik: IUC Inter University Center Dubrovnik | Тип резултата: | Конференцијски рад | Колација: | vol. 3 str. 14-16 | URI: | https://enauka.gov.rs/handle/123456789/503864 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4242 |
URL: | http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2014_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 | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.