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 Technical Reports
By Class By Topic By Year Technical Reports
login
J. Van den Bussche and S. Vansummeren. Well-Defined NRC Queries Can Be Typed - (Extended Abstract). In In Search of Elegance in the Theory and Practice of Computation, volume 8000 of Lecture Notes in Computer Science, pages 494-506. Springer, 2013.

@incollection{VanVan2013:incollection,
  author = {Van den Bussche, Jan and Stijn Vansummeren},
  title = {Well-Defined NRC Queries Can Be Typed - (Extended Abstract)},
  publisher = {Springer},
  year = {2013},
  booktitle = {In Search of Elegance in the Theory and Practice of Computation},
  volume = {8000},
  series = {Lecture Notes in Computer Science},
  pages = {494--506},
  doi = {http://dx.doi.org/10.1007/978-3-642-41660-6_27}
}

Updated: 2017-03-27