Rezultati

eNauka >  Rezultati >  First steps towards proving functional equivalence of embedded SQL
Naziv: First steps towards proving functional equivalence of embedded SQL
Autori: Mirko Spasić  ; Vujošević Janičić, Milena M.  
Godina: 2018
Publikacija: 24th International Conference on Types for Proofs and Programs, TYPES 2018.
Izdavač: Centro de Matematica, University of Minho, Portugal
Tip rezultata: Konferencijski rad
Kolacija: str. 78-79
URI: https://enauka.gov.rs/handle/123456789/171394
URL: https://types2018.projj.eu/
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI


Google ScholarTM

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