BibTeX record conf/adbt/KelloggT79

download as .bib file

  author    = {Charles Kellogg and
               Larry Travis},
  editor    = {Herv{\'{e}} Gallaire and
               Jean{-}Marie Nicolas and
               Jack Minker},
  title     = {Reasoning with Data in a Deductively Augmented Data Management System},
  booktitle = {Advances in Data Base Theory, Vol. 1, Based on the Proceedings of
               the Workshop on Formal Bases for Data Bases, December 12-14, 1979,
               Centre d'Etudes et de Recherches de l'Ecole Nationale Sup{\'{e}}rieure
               de l'A{\'{e}}ronautique et de l'Espace de Toulouse (CERT), France},
  series    = {Advances in Data Base Theory},
  pages     = {261--295},
  publisher = {Plemum Press},
  address   = {New York},
  year      = {1979},
  timestamp = {Thu, 29 Mar 2018 16:54:19 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics