Martin Kempa, Volker Linnemann. Type Checking in XOBE. In Gerhard Weikum, Harald Schöning, Erhard Rahm, editors, BTW 2003, Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW-Konferenz, 26.-28. Februar 2003, Leipzig. Volume 26 of LNI, pages 227-246, GI, 2003. [doi]
@inproceedings{KempaL03,
title = {Type Checking in XOBE},
author = {Martin Kempa and Volker Linnemann},
year = {2003},
url = {http://doesen0.informatik.uni-leipzig.de/proceedings/paper/64.pdf},
tags = {type checking},
researchr = {https://researchr.org/publication/KempaL03},
cites = {0},
citedby = {1},
pages = {227-246},
booktitle = {BTW 2003, Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW-Konferenz, 26.-28. Februar 2003, Leipzig},
editor = {Gerhard Weikum and Harald Schöning and Erhard Rahm},
volume = {26},
series = {LNI},
publisher = {GI},
isbn = {3-88579-355-5},
}