Резултати
| Назив: | IDentity Of Proofs Based On Normalization And Generality | Аутори: | Došen, Kosta   |
Година: | 2003 | Публикација: | Bulletin of Symbolic Logic | ISSN: | 1079-8986 Bulletin of Symbolic Logic Претражи идентификатор |
Издавач: | Cambridge University Press | Тип резултата: | Научни чланак | Колација: | 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 |
М-категорија: | 21M21 - Водећи међународни часопис категорије M21 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.