Резултати

еНаука >  Резултати >  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 - Рад у истакнутом међ. часопису

2
SCOPUSTM
1
OpenCitations
1
WEB OF SCIENCETM
Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.