%0 Conference Paper %1 conf/icdt/BusscheGV05 %A den Bussche, Jan Van %A Gucht, Dirk Van %A Vansummeren, Stijn %B ICDT %D 2005 %E Eiter, Thomas %E Libkin, Leonid %I Springer %K dblp %P 99-113 %T Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract. %U http://dblp.uni-trier.de/db/conf/icdt/icdt2005.html#BusscheGV05 %V 3363 %@ 3-540-24288-0

@inproceedings{conf/icdt/BusscheGV05, added-at = {2017-05-23T00:00:00.000+0200}, author = {den Bussche, Jan Van and Gucht, Dirk Van and Vansummeren, Stijn}, biburl = {https://www.bibsonomy.org/bibtex/25eee1f0404e34d80a9bc5bd920c4ac75/dblp}, booktitle = {ICDT}, crossref = {conf/icdt/2005}, editor = {Eiter, Thomas and Libkin, Leonid}, ee = {https://doi.org/10.1007/978-3-540-30570-5_7}, interhash = {e4c53eca10bc18ce68eae09d67899b09}, intrahash = {5eee1f0404e34d80a9bc5bd920c4ac75}, isbn = {3-540-24288-0}, keywords = {dblp}, pages = {99-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:08:28.000+0200}, title = {Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract.}, url = {http://dblp.uni-trier.de/db/conf/icdt/icdt2005.html#BusscheGV05}, volume = 3363, year = 2005 }