Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic

Results

Naziv:	Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
Autori:	Došen, Kosta
Godina:	1992
Publikacija:	Theoretical Computer Science
ISSN:	0304-3975 Theoretical Computer Science Pretraži identifikator
Izdavač:	Elsevier
Tip rezultata:	Naučni članak
Kolacija:	vol. 102 br. 1 str. 207-214
DOI:	10.1016/0304-3975(92)90300-5
Scopus-ID:	2-s2.0-44049125310
URI:	https://enauka.gov.rs/handle/123456789/578685 http://researchrepository.mi.sanu.ac.rs/handle/123456789/718 https://plus.cobiss.net/cobiss/sr/sr/bib/521478295#izum.si
M-kategorija:	22M22 - Međunarodni časopis kategorije M22

3
SCOPUS^TM

2
OpenCitations

Altmetric

Dimensions

Unpaywall