Ghilezan, Silvia

Network Lab View Statistics Email Alert

Loading... 3 0 20 0 false

Full Name

Ghilezan, Silvia

ORCID

0000-0003-2253-8285

Scopus Author ID

6603280186

Country

Serbia

Loading... 2 0 20 0 false

Refined By:

Author: Ivetić, Jelena

Subject: simply typed lambda calculus | probabilistic logic | soundness | strong completeness

Results 1-1 of 1 (Search time: 0.002 seconds).

	Author(s)	Title	Issue Date	Appears in	Rank
1	Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad	Towards Probabilistic reasoning about simply typed lambda terms	Nov-2017	Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12

Results 1-2 of 2 (Search time: 0.001 seconds).

Acronym	Title	Start date	Completion	P-Investigator
PROJECT 144029	Models, Languages, Types, and Processes in Computing	01-01-2006	31-12-2010	Ghilezan, Silvia
PROJECT 174026	Representations of logical structures and formal languages and their application in computing	01-01-2011	31-12-2019	Ghilezan, Silvia