Резултати

еНаука >  Резултати >  LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads
Назив: LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads
Аутори: Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan
Година: 2017
Публикација: LOGICAL METHODS IN COMPUTER SCIENCE
ISSN: 1860-5974 Logical Methods in Computer Science / LMCS Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 13 br. 3
DOI: 10.23638/LMCS-13(3:2)2017
WoS-ID: 000419163000030
Scopus-ID: 2-s2.0-85041814103
URI: https://enauka.gov.rs/handle/123456789/818200
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
22M22 - Међународни часопис категорије M22

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

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