Rezultati
Title  : | Preface | Authors: | Ghilezan, Silvia   ; Geuvers, Herman; Ivetić, Jelena |
Issue Date: | 2018 | Publication: | International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 | ISSN: | 1868-8969  Search Idenfier |
Publisher: | Schloss Dagstuhl - Leibniz Zentrum fur Informatik | Type: | Other | ISBN: | 978-3-959-77065-1 Search Idenfier |
Scopus-ID: | 2-s2.0-85057041794 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2578 https://enauka.gov.rs/handle/123456789/576655 |
Availability note: | Пуни текст није доступан ни у електронској, ни у штампаној форми | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.