Completeness theorem for a first order linear-time logic

Ognjanović, Zoran

Results

eNauka > Results > Completeness theorem for a first order linear-time logic

Title:	Completeness theorem for a first order linear-time logic
Authors:	Ognjanović, Zoran
Issue Date:	2001
Publication:	Publications de l Institut Mathematique, Beograd
ISSN:	0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier
Publisher:	Mathematical Institute of the SASA
Type:	Article
Collation:	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-category:	Mp. category will be shown later

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.