|
Haim Gaifman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Inderpal Singh Mumick:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Inderpal Singh Mumick cite Haim GaifmanOrdered by citing publication[Change the order to 'ordered by cited']
-
Inderpal Singh Mumick, Oded Shmueli
Universal Finiteness and Satisfiability. [Citation Graph (1, 19)][DBLP] PODS, 1994, pp:190-200 [Conf] Cites:
-
Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP] LICS, 1987, pp:106-115 [Conf]
-
Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi
Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP] STOC, 1988, pp:477-490 [Conf]
-
Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli
Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. [Citation Graph (13, 9)][DBLP] PODS, 1993, pp:109-122 [Conf] Cites:
-
Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP] LICS, 1987, pp:106-115 [Conf]
-
Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi
Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP] STOC, 1988, pp:477-490 [Conf]
|