Authors: Ghilezan, Silvia 
Ivetić, Jelena
Ognjanović, Zoran 
Savić, Nenad
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Probabilistic reasoning in type systems
First page: 24
Last page: 24
Conference: 5th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016
Issue Date: 2016
Rank: M34

Show full item record

Page view(s)

checked on Aug 5, 2023

Google ScholarTM


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