Rezultati

eNauka >  Rezultati >  Sequent calculi for contraction--less relevant logics
Naziv: Sequent calculi for contraction--less relevant logics
Autori: Isaković-Ilić, Mirjana  
Godina: 2015
Publikacija: Constructivism and Computability
Izdavač: JAIST Logic Workshop Series 2015, Japan
Tip rezultata: Konferencijski rad
Kolacija: str. 50-50
URI: https://enauka.gov.rs/handle/123456789/515728
URL: http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI


Google ScholarTM

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