| 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.