Interpolation and Domain Independence applied to Databases

Abstract

Peer reviewed

Abstracts of the iPRA 2014 workshop - Interpolation: From Proofs to Applications

iPRA 2014 workshop - Interpolation: From Proofs to Applications (Wien, 17/07/2014 - 18/07/2014)

2014

Handle:

https://hdl.handle.net/10863/4403

Files and links (1)

url

https://easychair.org/smart-program/VSL2014/iPRA-index.htmlView

Title: Interpolation and Domain Independence applied to Databases
Creators: Enrico Franconi
P Guagliardo
V Kerhet
N Ngo
Publication Details: Abstracts of the iPRA 2014 workshop - Interpolation: From Proofs to Applications
Conference: iPRA 2014 workshop - Interpolation: From Proofs to Applications (Wien, 17/07/2014 - 18/07/2014)
Publisher: easychair.org
Format: Online
Identifiers: (UNIBZ)23036755
991006503598501241
Scopus ID: n.a.
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Abstract
Author Names String: Franconi E, Guagliardo P, Kerhet V, Ngo N

2 Record Views