|
Johann A. Makowsky:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Moshe Y. Vardi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Moshe Y. Vardi cite Johann A. MakowskyOrdered by citing publication[Change the order to 'ordered by cited']
-
Surajit Chaudhuri, Moshe Y. Vardi
On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP] PODS, 1992, pp:55-66 [Conf] Cites:
-
Surajit Chaudhuri, Moshe Y. Vardi
On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. [Citation Graph (2, 23)][DBLP] PODS, 1994, pp:107-116 [Conf] Cites:
-
Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi
Proof-Tree Transformation Theorems and Their Applications. [Citation Graph (14, 12)][DBLP] PODS, 1989, pp:172-181 [Conf] Cites:
-
Moshe Y. Vardi
The Implication and Finite Implication Problems for Typed Template Dependencies. [Citation Graph (3, 16)][DBLP] PODS, 1982, pp:230-238 [Conf] Cites:
|