BibTeX record conf/fmldo/SpruitWM92

• > Home > conf/fmldo/SpruitWM92

@inproceedings{DBLP:conf/fmldo/SpruitWM92,
  author       = {Paul Spruit and
                  Roel J. Wieringa and
                  John{-}Jules Ch. Meyer},
  editor       = {Udo W. Lipeck and
                  Bernhard Thalheim},
  title        = {Dynamic Database Logic: the First-order Case},
  booktitle    = {Modelling Database Dynamics, Selected Papers from the Fourth International
                  Workshop on Foundations of Models and Languages for Data and Objects,
                  Volkse (near Braunschweig), Germany, 19-23 October 1992},
  series       = {Workshops in Computing},
  pages        = {103--120},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3554-8\_7},
  doi          = {10.1007/978-1-4471-3554-8\_7},
  timestamp    = {Mon, 16 Sep 2019 15:23:39 +0200},
  biburl       = {https://dblp.org/rec/conf/fmldo/SpruitWM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}