Резултати
| Naziv: | IDentity Of Proofs Based On Normalization And Generality | Autori: | Došen, Kosta   |
Godina: | 2003 | Publikacija: | Bulletin of Symbolic Logic | ISSN: | 1079-8986 Bulletin of Symbolic Logic Pretraži identifikator |
Izdavač: | Cambridge University Press | Tip rezultata: | Naučni članak | Kolacija: | vol. 9 br. 4 str. 477-503 | DOI: | 10.2178/bsl/1067620091 | WoS-ID: | 000187206400002 | Scopus-ID: | 2-s2.0-0348173887 | URI: | https://enauka.gov.rs/handle/123456789/578677 http://researchrepository.mi.sanu.ac.rs/handle/123456789/703 https://plus.cobiss.net/cobiss/sr/sr/bib/521438103#izum.si |
M-kategorija: | 21M21 - Vodeći međunarodni časopis kategorije M21 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.