Rezultati
| Naziv: | Behavioural inverse limit λ-models | Autori: | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia |
Godina: | 2004 | Publikacija: | Theoretical Computer Science | ISSN: | 0304-3975 Theoretical Computer Science Pretraži identifikator |
Izdavač: | Elsevier | Tip rezultata: | Naučni članak | Kolacija: | 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 | Projekat: | 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 |
M-kategorija: | 22M22 - Rad u istaknutom međ. časopisu |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.