Резултати
| Назив: | The resource control and strong normalisation | Аутори: | Ghilezan, Silvia   ; Ivetić, Jelena |
Година: | 2012 | Публикација: | Zbornik apstrakata VLP 2012 - | Издавач: | Beograd : Mathematical Institute | Тип резултата: | Конференцијски рад | Колација: | str. 19-20 | URI: | https://enauka.gov.rs/handle/123456789/273173 | URL: | http://www.matf.bg.ac.rs/skup-u-zemlji/200/konferencija-verovatnosne-logike-i-njihove-primene-27-28-septembar-2012-matematicki-institut-sanu-beograd/ http://www.mi.sanu.ac.rs/conferences/vlp.pdf |
Извор метаподатака: | Migrirano iz RIS podataka | Напомена о доступности: | Подаци и/или пуни текст су непотпуни | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.