Резултати

еНаука >  Резултати >  A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$
Назив A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$
Аутори: Marinković, Bojan ; Ognjanović, Zoran  ; Perović, Aleksandar  ; Doder, Dragan 
Година: 2014
Публикација: Četvrta nacionalna konferencija Verovatnosne logike i njihove primene
Издавач: Matematički institut SANU, Srbija
Тип резултата: Конференцијски рад
Колација: str. 14-14
URI: https://enauka.gov.rs/handle/123456789/556484
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI


Google ScholarTM

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