default search action
Search dblp for Publications
export results for "toc:db/conf/db-workshops/fmdbse1992.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.