Inhabitation in intersection and union type assignment systems

Ghilezan, Silvia

Rezultati

eNauka > Rezultati > Inhabitation in intersection and union type assignment systems

Naziv:	Inhabitation in intersection and union type assignment systems
Autori:	Ghilezan, Silvia
Godina:	1993
Publikacija:	Journal of Logic and Computation
ISSN:	0955-792X Journal of Logic and Computation Pretraži identifikator
Izdavač:	Oxford University Press
Tip rezultata:	Naučni članak
Kolacija:	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-kategorija:	Mp kategorija će biti prikazana naknadno.

2
SCOPUS^TM

1
OpenCitations

Alt metrika

Dimensions

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.