Search dblp for Publications

export results for "toc:db/conf/db-workshops/fmdbse1992.bht:"

 download as .bib file

@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},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1993},
  isbn         = {3-540-19812-1},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Alagar92,
  author       = {Vangalur S. Alagar},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {Modeling Time in Information Systems},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {80--95},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 15:10:07 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/Alagar92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/BonnerK92,
  author       = {Anthony J. Bonner and
                  Michael Kifer},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {transaction Logic: An (Early) Expos{\'{e}}},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/BonnerK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/DongL92,
  author       = {Fangqing Dong and
                  Laks V. S. Lakshmanan},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {Intuitionistic Interpretation of Deductive Databases with Incomplete
                  Information},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/DongL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Goyal92,
  author       = {Pankaj Goyal},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {Software Engineering Environments - What Do We Want?},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {122--138},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/Goyal92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Han92,
  author       = {Jiawei Han},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {Efficient Deduction and Induction: Key to the Success of Data-Intensive
                  Knowledge-Base Systems},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {139--157},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/db-workshops/Han92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/KapurMN92,
  author       = {Deepak Kapur and
                  David R. Musser and
                  Xumin Nie},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {The Tecton Proof System},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {54--79},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/KapurMN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/LakshmananN92,
  author       = {Laks V. S. Lakshmanan and
                  Daniel A. Nonen},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {On Querying Temporal Deductive Databases},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {158--174},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/LakshmananN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/MarshallS92,
  author       = {Lynn S. Marshall and
                  Linda Simon},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {Using {VDM} Within an Object-Oriented Framework},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {111--121},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/MarshallS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/MissaouiG92,
  author       = {Rokia Missaoui and
                  Robert Godin},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {An Incremental Concept Formation Approach for Learning from Databases},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {39--53},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/MissaouiG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Ramanathan92,
  author       = {Greetha Ramanathan},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {A Unified Framework for Database Specification: Functional Approach},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {96--110},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/Ramanathan92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Sadri92,
  author       = {Fereidoon Sadri},
  editor       = {Vangalur S. Alagar and
                  Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {Aggregate Operations in the Information Source Tracking Method},
  booktitle    = {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},
  series       = {Workshops in Computing},
  pages        = {24--38},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/db-workshops/Sadri92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}