|
Shamim A. Naqvi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Hervé Gallaire:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Hervé Gallaire cite Shamim A. NaqviOrdered by citing publication[Change the order to 'ordered by cited']
-
Hervé Gallaire
Impacts of Logic and Databases (Invited Paper) [Citation Graph (14, 66)][DBLP] VLDB, 1981, pp:248-259 [Conf] Cites:
-
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas
Logic and Databases: A Deductive Approach. [Citation Graph (131, 112)][DBLP] ACM Comput. Surv., 1984, v:16, n:2, pp:153-185 [Journal] Cites:
-
Shamim A. Naqvi, Lawrence J. Henschen
Performing Inferences over Recursive Data Bases. [Citation Graph (3, 0)][DBLP] AAAI, 1980, pp:263-265 [Conf]
-
Lawrence J. Henschen, William McCune, Shamim A. Naqvi
Compiling Constraint-Checking Programs from First-Order Formulas. [Citation Graph (20, 0)][DBLP] Advances in Data Base Theory, 1982, pp:145-169 [Conf]
-
Lawrence J. Henschen, Shamim A. Naqvi
On compiling queries in recursive first-order databases. [Citation Graph (92, 0)][DBLP] J. ACM, 1984, v:31, n:1, pp:47-85 [Journal]
|