The SCEAS System
Navigation Menu

Conferences in DBLP

Data Base Workshops (db-workshops)
1992 (conf/db-workshops/1992)

  1. Anthony J. Bonner, Michael Kifer
    transaction Logic: An (Early) Exposé. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:1-24 [Conf]
  2. Fereidoon Sadri
    Aggregate Operations in the Information Source Tracking Method. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:24-38 [Conf]
  3. Rokia Missaoui, Robert Godin
    An Incremental Concept Formation Approach for Learning from Databases. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:39-53 [Conf]
  4. Deepak Kapur, David R. Musser, Xumin Nie
    The Tecton Proof System. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:54-79 [Conf]
  5. Vangalur S. Alagar
    Modeling Time in Information Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:80-95 [Conf]
  6. Greetha Ramanathan
    A Unified Framework for Database Specification: Functional Approach. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:96-110 [Conf]
  7. Lynn S. Marshall, Linda Simon
    Using VDM Within an Object-Oriented Framework. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:111-121 [Conf]
  8. Pankaj Goyal
    Software Engineering Environments - What Do We Want? [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:122-138 [Conf]
  9. Jiawei Han
    Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:139-157 [Conf]
  10. Laks V. S. Lakshmanan, Daniel A. Nonen
    On Querying Temporal Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:158-174 [Conf]
  11. Fangqing Dong, Laks V. S. Lakshmanan
    Intuitionistic Interpretation of Deductive Databases with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:175-192 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002