Резултати

еНаука >  Резултати >  Inhabitation in intersection and union type assignment systems
Назив: 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

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.