Results
| Title: | First steps towards proving functional equivalence of embedded SQL | Authors: | Mirko Spasić   ; Vujošević Janičić, Milena M. |
Issue Date: | 2018 | Publication: | 24th International Conference on Types for Proofs and Programs, TYPES 2018. | Publisher: | Centro de Matematica, University of Minho, Portugal | Type: | Conference Paper | Collation: | str. 78-79 | URI: | https://enauka.gov.rs/handle/123456789/171394 | URL: | https://types2018.projj.eu/ | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.