DBLP Record 'conf/db-workshops/LakshmananN92'

BibTeX

@inproceedings{DBLP:conf/db-workshops/LakshmananN92,
  author    = {Laks V. S. Lakshmanan and
               Daniel A. Nonen},
  title     = {On Querying Temporal Deductive Databases},
  booktitle = {Formal Methods in Databases and Software Engineering},
  year      = {1992},
  pages     = {158-174},
  crossref  = {DBLP:conf/db-workshops/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/db-workshops/1992,
  editor    = {Vangalur S. Alagar and
               Laks V. S. Lakshmanan and
               Fereidoon Sadri},
  title     = {Formal Methods in Databases and Software Engineering, Proceedings
               of the Workshop on Formal Methods in Databases and Software
               Engineering, Montreal, Canada, 15-16 May 1992},
  booktitle = {Formal Methods in Databases and Software Engineering},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19812-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}