Резултати

еНаука >  Резултати >  Behavioural inverse limit λ-models
Назив: Behavioural inverse limit λ-models
Аутори: Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Likavec, Silvia  
Година: 2004
Публикација: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Претражи идентификатор
Издавач: Elsevier
Тип резултата: Научни чланак
Колација: vol. 316 br. 1-3 str. 49-74
DOI: 10.1016/j.tcs.2004.01.023
WoS-ID: 000221734200004
Scopus-ID: 2-s2.0-2442629668
URI: https://enauka.gov.rs/handle/123456789/579414
http://researchrepository.mi.sanu.ac.rs/handle/123456789/2610
URL: https://www.sciencedirect.com/science/article/pii/S0304397504000763
Пројекат: FET-Global Computing initiative, project DART ST-2001-33477
“Representation of proofs with applications, classification of structures and infinite combinatorics” (of the Ministry of Science, Technology, and Development of Serbia), grant 1630
М-категорија: 
22M22 - Рад у истакнутом међ. часопису

13
SCOPUSTM
12
OpenCitations
10
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.