Authors: Kašterović, Simona
Ghilezan, Silvia 
Title: Probabilistic reasoning with lambda terms
Journal: Book of Abstracts: Logics and Applications - LAP 2017
Conference: 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, Croatia
Issue Date: Sep-2017
Rank: M34
URL: http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP_2017_Book_of_Abstracts.pdf

Show full item record

Page view(s)

16
checked on Jan 30, 2023

Google ScholarTM

Check


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