Harry G. Mairson

发表

Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2008 .
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2008 .
Harry G. Mairson, Yehoshua Sagiv, Haim Gaifman, 1993, JACM.
Harry G. Mairson, Fritz Henglein, F. Henglein, 1991, POPL '91.
Harry G. Mairson, 2015 .
Harry G. Mairson, Julia L. Lawall, 2000, ESOP.
Harry G. Mairson, 2005, High. Order Symb. Comput..
David Maier, Harry G. Mairson, Danny Dolev, 1984, STOC '84.
Harry G. Mairson, 1994, Inf. Process. Lett..
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2005 .
Harry G. Mairson, Julia L. Lawall, J. Lawall, 1996, ICFP '96.
Harry G. Mairson, 1992, Theor. Comput. Sci..
Gabriel M. Kuper, Serge Abiteboul, Harry G. Mairson, 1996, CSUR.
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2005, High. Order Symb. Comput..
Harry G. Mairson, Julia L. Lawall, 1997, ICFP '97.
Harry G. Mairson, 2004, J. Funct. Program..
Harry G. Mairson, David Van Horn, 2008, SAS.
Harry G. Mairson, Andrea Asperti, A. Asperti, 1998, POPL '98.
Harry G. Mairson, David Van Horn, 2007, ICFP '07.
Harry G. Mairson, John C. Mitchell, Paris C. Kanellakis, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Harry G. Mairson, Paris C. Kanellakis, Gerd G. Hillebrand, 1996, Inf. Comput..
Harry G. Mairson, Peter Møller Neergaard, 2004, ICFP '04.
Harry G. Mairson, 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
Harry G. Mairson, Andrea Asperti, 2001, Inf. Comput..
Harry G. Mairson, Moshe Y. Vardi, Paris C. Kanellakis, 1991, PODS '91.
Harry G. Mairson, David Van Horn, 2008, ICFP 2008.
Harry G. Mairson, Paris C. Kanellakis, Gerd G. Hillebrand, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Gabriel M. Kuper, Serge Abiteboul, Harry G. Mairson, 1996, PODS 1996.
Olivier Danvy, Harry G. Mairson, Fritz Henglein, 2003, High. Order Symb. Comput..
Harry G. Mairson, Fritz Henglein, 1994, J. Funct. Program..
Kazushige Terui, Harry G. Mairson, K. Terui, 2003, ICTCS.
Harry G. Mairson, Xavier Rival, Xavier Rival, 2002, CSL.
Harry G. Mairson, Moshe Y. Vardi, Paris C. Kanellakis, 1995, J. Log. Program..
Harry G. Mairson, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
Harry G. Mairson, 1992, Journal of Functional Programming.
Harry G. Mairson, Paris C. Kanellakis, Gerd G. Hillebrand, 1994, ICALP.
Harry G. Mairson, 1991, FPCA.
Harry G. Mairson, David Van Horn, 2008, ICFP.
Harry G. Mairson, 1993, POPL '93.
Harry G. Mairson, Peter Mller Neergaard, 2003 .
Harry G. Mairson, Peter Møller Neergaard, Peter Moller Neergaard, 2002 .