|
Marco A. Casanova:
[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 Marco A. CasanovaOrdered 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:
-
Marco A. Casanova, Philip A. Bernstein
The Logic of a Relational Data Manipulation Language. [Citation Graph (9, 17)][DBLP] POPL, 1979, pp:101-109 [Conf]
-
Marco A. Casanova, Philip A. Bernstein
A Formal System for Reasoning about Programs Accessing a Relational Database. [Citation Graph (21, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:386-414 [Journal]
-
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:
-
Marco A. Casanova, Philip A. Bernstein
The Logic of a Relational Data Manipulation Language. [Citation Graph (9, 17)][DBLP] POPL, 1979, pp:101-109 [Conf]
-
Marco A. Casanova, Philip A. Bernstein
A Formal System for Reasoning about Programs Accessing a Relational Database. [Citation Graph (21, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:386-414 [Journal]
|