Logike sa metričkim operatorima

2019

Disertacija.pdf (1.616Mb)

Izvestaj_Nenad_Stojanovic_PMF.pdf (1.659Mb)

Author

Stojanović, Nenad

Mentor

Ikodinović, Nebojša

Committee members

Rašković, Miodrag
Đorđević, Radosav
Ilić Stepić, Angelina
Marinković, Silvana

Metadata

Show full item record

Faculty:
University of Kragujevac, Faculty of Science
Date:
21-04-2019

Projects:

Representations of logical structures and formal languages and their application in computing (RS-174026)

Keywords:

metric operator / soundess / completeness

[ Google Scholar ]

URI

http://eteze.kg.ac.rs/application/showtheses?thesesId=7326

https://fedorakg.kg.ac.rs/fedora/get/o:1242/bdef:Content/download

https://nardus.mpn.gov.rs/handle/123456789/17533