Резултати
| Назив: | Church-Rosser Theorem for sequent lambda calculi | Аутори: | Ghilezan, Silvia  ; Ivetić, Jelena  ; Likaves, Silvia |
Година: | 2014 | Публикација: | TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, France | Издавач: | Paris : University of Turin | Тип резултата: | Конференцијски рад | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4246 https://enauka.gov.rs/handle/123456789/576827 |
Напомена о доступности: | Подаци и/или пуни текст су непотпуни | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.