par Van den Bussche, Jan;Van Gucht, Dirk;Vansummeren, Stijn
Référence Theoretical computer science, 371, 3, page (183-199)
Publication Publié, 2007
Article révisé par les pairs
Titre:
  • Well-definedness and semantic type-checking for the nested relational calculus
Auteur:Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn
Informations sur la publication:Theoretical computer science, 371, 3, page (183-199)
Statut de publication:Publié, 2007
Sujet CREF:Informatique mathématique
Informatique générale
Note publication spéciale:Invited for the Theoretical Computer Science special issue on ICDT 2005, collecting the journal versions of the best theoretically-oriented articles of ICDT 2005.
Langue:Anglais
Identificateurs:urn:issn:0304-3975