Results

eNauka >  Rezultati >  LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads
Naziv: LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads
Autori: Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan
Godina: 2017
Publikacija: LOGICAL METHODS IN COMPUTER SCIENCE
ISSN: 1860-5974 Logical Methods in Computer Science / LMCS Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: 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
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

8
SCOPUSTM
2
OpenCitations
6
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.