Rezultati

еНаука >  Резултати >  LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads
Title: LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads
Authors: Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan
Issue Date: 2017
Publication: LOGICAL METHODS IN COMPUTER SCIENCE
ISSN: 1860-5974 Logical Methods in Computer Science / LMCS Search Idenfier
Type: Article
Collation: 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
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
22M22

8
SCOPUSTM
2
OpenCitations
6
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.