Резултати

еНаука >  Резултати >  Structural rules and resource control in logic and computation
Назив: Structural rules and resource control in logic and computation
Аутори: Gilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre Lescanne
Година: 2015
Публикација: Logic in Computer Science
ISSN: 0351-9406 Претражи идентификатор
Издавач: Beograd. Matematički Institut SANU
Тип резултата: Поглавље у монографији
Колација: 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
Пројекат: 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
Извор метаподатака: Migracija
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI


Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.