Rezultati

eNauka >  Rezultati >  Detecting Loops During Proof Search in Propositional Affine Logic
Naziv : Detecting Loops During Proof Search in Propositional Affine Logic
Autori: T. Lutovac  ; J. Harland
Godina: 2006
Publikacija: JOURNAL OF LOGIC AND COMPUTATION
ISSN: 0955-792X Journal of Logic and Computation Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: vol. 16 br. 1 str. 61-133
DOI: 10.1093/logcom/exi072
WoS-ID: 000235605800004
Scopus-ID: 2-s2.0-33645747931
URI: https://enauka.gov.rs/handle/123456789/750422
http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/2/4683
M-kategorija: 
22M22 - Rad u istaknutom međ. časopisu

2
SCOPUSTM
1
OpenCitations
1
WEB OF SCIENCETM
Alt metrika
Dimensions

Pronađi DOI
Unpaywall

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