| Title: | Towards Probabilistic reasoning about simply typed lambda terms |
Authors: | Gilezan, Silvia K.   ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad |
Issue Date: | 2017 |
Publication: | Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017 |
Publisher: | Mathematical Institute of the SASA |
Type: | Conference Paper |
Collation: | str. 11-12 |
URI: | https://enauka.gov.rs/handle/123456789/375848
http://researchrepository.mi.sanu.ac.rs/handle/123456789/4231 |
URL: | http://www.mi.sanu.ac.rs/novi_sajt/research/conferences/vlp2017.pdf |
Project: | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Representations of logical structures and formal languages and their application in computing |
Metadata source: | Migracija |
Availability note: | Подаци и/или пуни текст су непотпуни |
M-category: | |
