Probabilistic reasoning about simply typed lambda terms

Gilezan, Silvia K.; IVETIĆ, JELENA B.; KAŠTEROVIĆ, SIMONA Đ.; Ognjanović, Zoran D.; Nenad Savic

Results

eNauka > Results > Probabilistic reasoning about simply typed lambda terms

Title:	Probabilistic reasoning about simply typed lambda terms
Authors:	Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic
Issue Date:	2018
Publication:	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier
Publisher:	Springer Link
Type:	Conference Paper
ISBN:	978-3-319-72055-5 Search Idenfier
Collation:	br. 10703 str. 170-189
DOI:	10.1007/978-3-319-72056-2_11
WoS-ID:	000541559100011
Scopus-ID:	2-s2.0-85039416804
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/13 https://enauka.gov.rs/handle/123456789/242306
Project:	Schweizerischer Nationalfonds zur förderung der Wissenschaftlichen Forschung Advanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security Representations of logical structures and formal languages and their application in computing 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
Metadata source:	Migracija
M-category:	Mp. category will be shown later

5
SCOPUS^TM

1
OpenCitations

3
WEB OF SCIENCE^TM

Altmetric

Dimensions

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Unpaywall

Google Scholar^TM