Results

eNauka >  Results >  Probabilistic reasoning in type systems
Title: Probabilistic reasoning in type systems
Authors: Ghilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad
Issue Date: 2016
Publication: International conference Logic and Applications LAP 2016 (September 19 - 23, 2016) Dubrovnik, Croatia
Publisher: Beograd : Mathematical Institute of the Serbian Academy of Sciences and Arts
Type: Conference Paper
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3051
https://enauka.gov.rs/handle/123456789/579547
Availability note: На основу доступних података није могуће утврдити да ли резултат постоји
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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