Rezultati

еНаука >  Резултати >  Detecting Loops During Proof Search in Propositional Affine Logic
Назив : Detecting Loops During Proof Search in Propositional Affine Logic
Аутори: T. Lutovac  ; J. Harland
Година: 2006
Публикација: JOURNAL OF LOGIC AND COMPUTATION
ISSN: 0955-792X Journal of Logic and Computation Претражи идентификатор
Тип резултата: Научни чланак
Колација: 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
М-категорија: 
22M22 - Међународни часопис категорије M22

2
SCOPUSTM
1
OpenCitations
1
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

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