1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/1680
DC FieldValueLanguage
dc.contributor.authorSpasić, Mirkoen_US
dc.contributor.authorVujošević Janičić, Milenaen_US
dc.date.accessioned2025-03-15T09:18:29Z-
dc.date.available2025-03-15T09:18:29Z-
dc.date.issued2018-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/1680-
dc.language.isoenen_US
dc.publisherBraga : Centro de Matematica, University of Minhoen_US
dc.titleFirst steps towards proving functional equivalence of embedded SQLen_US
dc.typeConference Objecten_US
dc.relation.conferenceInternational Conference on Types for Proofs and Programs TYPES 2018(24 ; 2018 ; Braga)en_US
dc.relation.publication24th International Conference on Types for Proofs and Programs TYPES 2018 : Book of abstractsen_US
dc.identifier.urlhttps://types2018.projj.eu/book-of-abstracts/-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.firstpage78en_US
dc.relation.lastpage79en_US
item.languageiso639-1en-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairetypeConference Object-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0002-9304-4007-
crisitem.author.orcid0000-0001-5396-0644-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check


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