Rezultati
| Naziv: | First steps towards proving functional equivalence of embedded SQL | Autori: | Mirko Spasić |
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. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.