Резултати
| Title: | Structural rules and resource control in logic and computation | Authors: | Gilezan, Silvia   ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne |
Issue Date: | 2015 | Publication: | Logic in Computer Science | ISSN: | 0351-9406  Search Idenfier |
Publisher: | Beograd. Matematički Institut SANU | Type: | Book parts | Collation: | vol. 18 br. 26 str. 79-109 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4235 https://enauka.gov.rs/handle/123456789/215164 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p79-109.pdf http://elib.mi.sanu.ac.rs/pages/browse_issue.php?db=zr&rbr=26 |
Project: | 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 |
Metadata source: | Migracija | M-category: | Mp. category will be shown later |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.