Rezultati

eNauka >  Rezultati >  Completeness theorem for a first order linear-time logic
Naziv: Completeness theorem for a first order linear-time logic
Autori: Ognjanović, Zoran  
Godina: 2001
Publikacija: Publications de l Institut Mathematique, Beograd
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Pretraži identifikator
Izdavač: Mathematical Institute of the SASA
Tip rezultata: Naučni članak
Kolacija: vol. 69 br. 83 str. 1-7
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3005
https://enauka.gov.rs/handle/123456789/579525
URL: http://elib.mi.sanu.ac.rs/files/journals/publ/89/n083p001.pdf
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

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