Results

eNauka >  Results >  Inhabitation in intersection and union type assignment systems
Title: Inhabitation in intersection and union type assignment systems
Authors: Ghilezan, Silvia  
Issue Date: 1993
Publication: Journal of Logic and Computation
ISSN: 0955-792X Journal of Logic and Computation Search Idenfier
Publisher: Oxford University Press
Type: Article
Collation: 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
M-category: 
Mp. category will be shown later

2
SCOPUSTM
1
OpenCitations
Altmetric
Dimensions

Find the DOI

Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.