First steps towards proving functional equivalence of embedded SQL

Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/1680

Title:	First steps towards proving functional equivalence of embedded SQL
Authors:	Spasić, Mirko Vujošević Janičić, Milena
Affiliations:	Informatics and Computer Science Informatics and Computer Science
Issue Date:	2018
Publisher:	Braga : Centro de Matematica, University of Minho
Related Publication(s):	24th International Conference on Types for Proofs and Programs TYPES 2018 : Book of abstracts
Conference:	International Conference on Types for Proofs and Programs TYPES 2018(24 ; 2018 ; Braga)
URI:	https://research.matf.bg.ac.rs/handle/123456789/1680
Appears in Collections:	Research outputs

Check