Резултати
| Title: | Characterising Strongly Normalising Intuitionistic Terms | Authors: | Santo, José Espírito; Ivetić, Jelena   ; Likavec, Silvia |
Issue Date: | 2012 | Publication: | Fundamenta Informaticae - international journal | ISSN: | 0169-2968 Fundamenta Informaticae Search Idenfier |
Publisher: | Warszawa: Annales Societatis Mathematicae Polonae, the Polish Mathematical Society | Type: | Article | Collation: | 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 | Metadata source: | Migrirano iz RIS podataka | M-category: | 22M22 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.