Rezultati
| Naziv: | Characterising Strongly Normalising Intuitionistic Terms | Autori: | Santo, José Espírito; Ivetić, Jelena   ; Likavec, Silvia |
Godina: | 2012 | Publikacija: | Fundamenta Informaticae - international journal | ISSN: | 0169-2968 Fundamenta Informaticae Pretraži identifikator |
Izdavač: | Warszawa: Annales Societatis Mathematicae Polonae, the Polish Mathematical Society | Tip rezultata: | Naučni članak | Kolacija: | vol. 121 br. 1-4 str. 83-120 | DOI: | 10.3233/fi-2012-772 | WoS-ID: | 000312724500004 | Scopus-ID: | 2-s2.0-84872482232 | URI: | https://enauka.gov.rs/handle/123456789/455976 | URL: | https://content.iospress.com/articles/fundamenta-informaticae/fi121-1-4-04 | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | 22M22 - Međunarodni časopis kategorije M22 |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.