Results

eNauka >  Results >  Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
Title: Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
Authors: Došen, Kosta  
Issue Date: 1992
Publication: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Search Idenfier
Publisher: Elsevier
Type: Article
Collation: 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-category: 
22M22

3
SCOPUSTM
2
OpenCitations
Altmetric
Dimensions
Unpaywall

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