CoDE Publications CoDE Publications
IRIDIA Publications IRIDIA Publications
SMG Publications
WIT Publications
WIT Publications
SMG Publications
Home People Research Activities Publications Teaching Resources
By Class By Topic By Year
By Class By Topic By Year
login
J. Van den Bussche, D. Van Gucht, and S. Vansummeren. Well-definedness and Semantic Type-Checking for the Nested Relational Calculus. Theoretical Computer Science, 371(3):183-199, 2007. Invited article.

@article{VanVanVan2007:article,
  author = {Van den Bussche, Jan and Van Gucht, Dirk and Stijn Vansummeren},
  title = {Well-definedness and Semantic Type-Checking for the Nested
           Relational Calculus},
  year = {2007},
  journal = {Theoretical Computer Science},
  volume = {371},
  number = {3},
  pages = {183--199},
  note = {Invited article},
  doi = {http://dx.doi.org/10.1016/j.tcs.2006.11.007}
}

Updated: 2017-03-27