Резултати
| Назив: | Inhabitation in intersection and union type assignment systems | Аутори: | Ghilezan, Silvia   |
Година: | 1993 | Публикација: | Journal of Logic and Computation | ISSN: | 0955-792X Journal of Logic and Computation Претражи идентификатор |
Издавач: | Oxford University Press | Тип резултата: | Научни чланак | Колација: | vol. 3 br. 6 str. 671-685 | DOI: | 10.1093/logcom/3.6.671 | Scopus-ID: | 2-s2.0-77957175833 | URI: | https://enauka.gov.rs/handle/123456789/579423 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2619 |
М-категорија: | Мп категорија ће бити приказана накнадно. |
2
SCOPUSTM
1
OpenCitations
Алт метрика
Dimensions
Unpaywall
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.