Rezultati
| Naziv: | Approaching substructural term calculi via the resource control calculus | Autori: | Gilezan, Silvia   ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne |
Godina: | 2014 | Publikacija: | Third Conference Logic and Applications LAP 2014 | Izdavač: | Dubrovnik: IUC Inter University Center Dubrovnik | Tip rezultata: | Konferencijski rad | Kolacija: | vol. 3 str. 14-16 | URI: | https://enauka.gov.rs/handle/123456789/503864 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4242 |
URL: | http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2014_book_of_abstracts.pdf | Projekat: | Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education |
Izvor metapodataka: | Migracija | 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.