Results

eNauka >  Results >  Computational interpretation of classical logic with explicit structural rules
Title: Computational interpretation of classical logic with explicit structural rules
Authors: Silvia Ghilezan  ; Pierre Lescanne; Žunić, Dragiša  
Issue Date: 2012
Type: Other
Collation: str. 47
URI: https://enauka.gov.rs/handle/123456789/852733
URL: https://ens-lyon.hal.science/ensl-00681296
Metadata source: (Preuzeto iz ORCID-a) Žunić, Dragiša
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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