Резултати
Назив : | A propositional linear time logic with time flow isomorphic to $omega^2$ | Аутори: | Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar | Година: | 2014 | Публикација: | Journal of Applied Logic | ISSN: | 1570-8683 Journal of Applied Logic Претражи идентификатор | Тип резултата: | Научни чланак | Колација: | vol. 12 br. 2 str. 208-229 | DOI: | 10.1016/j.jal.2014.03.002 | WoS-ID: | 000351328500006 | Scopus-ID: | 2-s2.0-84899519832 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/36 https://enauka.gov.rs/handle/123456789/556485 |
Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | 21M21 - Рад у врхунском међ. часопису |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.