Harry G. Mairson :
[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 Harry G. Mairson Ordered 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:
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 ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Undecidable Boundedness Problems for Datalog Programs. [Citation Graph (4, 0)][DBLP ] J. Log. Program., 1995, v:25, n:2, pp:163-190 [Journal ]
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:
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs. [Citation Graph (9, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:683-713 [Journal ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ] Cites:
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (9, 14)][DBLP ] PODS, 1990, pp:61-71 [Conf ] Cites:
Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [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 Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ] Cites:
Moshe Y. Vardi Automata Theory for Database Theoreticans. [Citation Graph (7, 21)][DBLP ] PODS, 1989, pp:83-92 [Conf ] Cites:
Serge Abiteboul , Gabriel M. Kuper , Harry G. Mairson , Alexander A. Shvartsman , Moshe Y. Vardi In Memoriam Paris C. Kanellakis. [Citation Graph (0, 32)][DBLP ] ACM Comput. Surv., 1996, v:28, n:1, pp:3-15 [Journal ] Cites:
Paris C. Kanellakis , Harry G. Mairson , John C. Mitchell Unification and ML-Type Reconstruction. [Citation Graph (1, 0)][DBLP ] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:444-478 [Conf ]
Paris C. Kanellakis , Gerd G. Hillebrand , Harry G. Mairson An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction. [Citation Graph (1, 0)][DBLP ] ICALP, 1994, pp:83-105 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson Database Query Languages Embedded in the Typed Lambda Calculus [Citation Graph (6, 0)][DBLP ] LICS, 1993, pp:332-343 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Undecidable Boundedness Problems for Datalog Programs. [Citation Graph (4, 0)][DBLP ] J. Log. Program., 1995, v:25, n:2, pp:163-190 [Journal ]
Harry G. Mairson A Simple Proof of a Theorem of Statman. [Citation Graph (2, 0)][DBLP ] Theor. Comput. Sci., 1992, v:103, n:2, pp:387-394 [Journal ]