Rezultati
| Назив: | Confluence of untyped lambda calculus via simple types | Аутори: | Ghilezan, Silvia  ; Kunčak, Viktor |
Година: | 2001 | Публикација: | Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence | ISSN: | 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор |
Издавач: | Springer Link | Тип резултата: | Научни чланак | ISBN: | 978-3-540-45446-5 Претражи идентификатор |
Колација: | vol. 2202 str. 38-49 | DOI: | 10.1007/3-540-45446-2_3 | Scopus-ID: | 2-s2.0-67949096699 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2614 https://enauka.gov.rs/handle/123456789/579418 |
Напомена о доступности: | Пуни текст није јавно доступан | М-категорија: | 21M21 - Водећи међународни часопис категорије M21 |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.