Резултати
| Назив: | Behavioural inverse limit λ-models | Аутори: | Dezani-Ciancaglini, Mariangiola; Ghilezan, 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 - Рад у истакнутом међ. часопису |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.