Резултати
| Назив: | Reducibility: A ubiquitous method in lambda calculus with intersection types | Аутори: | Ghilezan, Silvia   ; Likavec, Silvia |
Година: | 2003 | Публикација: | Electronic Notes in Theoretical Computer Science | ISSN: | 15710661  Претражи идентификатор |
Издавач: | Elsevier | Тип резултата: | Научни чланак | Колација: | vol. 70 br. 1 str. 106-123 | DOI: | 10.1016/S1571-0661(04)80493-6 | Scopus-ID: | 2-s2.0-18944382772 | URI: | https://enauka.gov.rs/handle/123456789/919786 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4262 |
URL: | https://www.sciencedirect.com/science/article/pii/S1571066104804936 | Извор метаподатака: | (Preuzeto iz CrossRef-a) Likavec, Silvia | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.