|
John C. Mitchell:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Gabriel M. Kuper:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Gabriel M. Kuper cite John C. MitchellOrdered by citing publication[Change the order to 'ordered by cited']
-
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, John C. Mitchell
Polymorphic Unification and ML Typing. [Citation Graph (1, 0)][DBLP] POPL, 1989, pp:105-115 [Conf]
-
Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell
On the Sequential Nature of Unification. [Citation Graph (6, 0)][DBLP] J. Log. Program., 1984, v:1, n:1, pp:35-50 [Journal]
|