DC FieldValueLanguage
dc.contributor.authorMarinković, Bojan-
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorGlavan, Paola-
dc.date.accessioned2020-06-15T15:23:24Z-
dc.date.available2020-06-15T15:23:24Z-
dc.date.issued2018-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/3055-
dc.publisherVichy University Campus, France-
dc.titleCorrectness and strong completeness for logic of time and knowledge-
dc.typeConference Paper-
dc.relation.conference6th World Congress and School on Universal Logic, UNILOG'2018, Vichy, France, June 16-26, 2018-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage451-
dc.relation.lastpage452-
dc.description.rankM34-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
crisitem.author.orcid0000-0002-9533-0330-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

1
checked on Sep 7, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.