Results

eNauka >  Results >  Computational interpretation of classical logic with explicit structural rules
Naziv: Computational interpretation of classical logic with explicit structural rules
Autori: Silvia Ghilezan  ; Pierre Lescanne; Žunić, Dragiša  
Godina: 2012
Tip rezultata: Ostalo
Kolacija: str. 47
URI: https://enauka.gov.rs/handle/123456789/852733
URL: https://ens-lyon.hal.science/ensl-00681296
Izvor metapodataka: (Preuzeto iz ORCID-a) Žunić, Dragiša
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Find the DOI

Google ScholarTM

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