Rezultati

eNauka >  Rezultati >  A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$
Naziv A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$
Autori: Marinković, Bojan ; Ognjanović, Zoran  ; Perović, Aleksandar  ; Doder, Dragan 
Godina: 2014
Publikacija: Četvrta nacionalna konferencija Verovatnosne logike i njihove primene
Izdavač: Matematički institut SANU, Srbija
Tip rezultata: Konferencijski rad
Kolacija: str. 14-14
URI: https://enauka.gov.rs/handle/123456789/556484
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI


Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.