Rezultati
| Naziv: | Church-Rosser Theorem for sequent lambda calculi | Autori: | Ghilezan, Silvia  ; Ivetić, Jelena  ; Likaves, Silvia |
Godina: | 2014 | Publikacija: | TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, France | Izdavač: | Paris : University of Turin | Tip rezultata: | Konferencijski rad | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4246 https://enauka.gov.rs/handle/123456789/576827 |
Napomena o dostupnosti: | Подаци и/или пуни текст су непотпуни | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.