G. Nadathur
发表
Dale A. Miller,
G. Nadathur,
D. Miller,
1988
.
G. Nadathur,
1987
.
G. Nadathur,
Chuck Liang,
Chuck C. Liang,
2002,
RTA.
G. Nadathur,
Sue D Wilson,
1994
.
G. Nadathur,
1989
.
G. Nadathur,
Mary Southern,
2022
.
Gopalan Nadathur,
Frank Pfenning,
F. Pfenning,
1992
.
Gopalan Nadathur,
Dale Miller,
Dale A. Miller,
2012
.
Gopalan Nadathur,
Dale Miller,
Dale A. Miller,
2012
.
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies
Gopalan Nadathur,
Donald W. Loveland,
A.,
1994,
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2.
G. Nadathur,
2008
.
G. Nadathur,
Mary Southern,
2022,
Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming.
Gopalan Nadathur,
Frank Pfenning,
F. Pfenning,
1992,
Types in Logic Programming.
G. Nadathur,
S. Holte,
2023,
ArXiv.
G. Nadathur,
Xiaochu Qi,
2005
.
D. Warren,
P. V. Hentenryck,
G. Nadathur,
1999
.
Gopalan Nadathur,
Dale Miller,
Frank Pfenning,
1991,
Ann. Pure Appl. Log..
Gopalan Nadathur,
Debra Sue Wilson,
G. Nadathur,
1998,
Theor. Comput. Sci..
Gopalan Nadathur,
Debra Sue Wilson,
G. Nadathur,
1994
.
Gopalan Nadathur,
Aravind K. Joshi,
A. Joshi,
1983,
IJCAI.
Gopalan Nadathur,
G. Nadathur,
1998,
Theor. Comput. Sci..
D. Loveland,
G. Nadathur,
1994
.
Gopalan Nadathur,
Yuting Wang,
G. Nadathur,
2015,
ESOP.
Gopalan Nadathur,
Xiaochu Qi,
G. Nadathur,
2003,
PPDP '03.
Radha Jagadeesan,
Gopalan Nadathur,
Vijay A. Saraswat,
2005,
FSTTCS.
Gopalan Nadathur,
G. Nadathur,
2001,
FLOPS.
Gopalan Nadathur,
Dale Miller,
Andre Scedrov,
1987,
Logic in Computer Science.
Amy P. Felty,
Gopalan Nadathur,
Dale Miller,
1988,
CADE.
Gopalan Nadathur,
G. Nadathur,
2004,
Journal of Automated Reasoning.
Gopalan Nadathur,
Dale Miller,
G. Nadathur,
1988,
ICLP/SLP.
Gopalan Nadathur,
Chuck Liang,
Xiaochu Qi,
2004,
Journal of Automated Reasoning.
Amy P. Felty,
Gopalan Nadathur,
Alexis Saurin,
2019,
Mathematical Structures in Computer Science.
Gopalan Nadathur,
Donald W. Loveland,
D. Loveland,
1994
.
Gopalan Nadathur,
G. Nadathur,
1998,
J. Log. Comput..
Gopalan Nadathur,
Yuting Wang,
G. Nadathur,
2018,
PPDP.
Gopalan Nadathur,
Xiaochu Qi,
G. Nadathur,
2005,
LPAR.
Gopalan Nadathur,
G. Nadathur,
2004,
Theory and Practice of Logic Programming.
Gopalan Nadathur,
Keehang Kwon,
Debra Sue Wilson,
1994,
Comput. Lang..
Gopalan Nadathur,
Keehang Kwon,
Debra Sue Wilson,
1992,
ELP.
Gopalan Nadathur,
Keehang Kwon,
G. Nadathur,
1993
.
Gopalan Nadathur,
Bharat Jayaramn,
Sue D Wilson,
1993
.
Gopalan Nadathur,
Dale Miller,
G. Nadathur,
1990,
JACM.
Gopalan Nadathur,
Keehang Kwon,
Debra Sue Wilson,
1991
.
W D Reed,
A. Biermann,
D. Loveland,
1992
.
Gopalan Nadathur,
G. Nadathur,
1996,
J. Funct. Log. Program..
Gopalan Nadathur,
G. Nadathur,
2008
.
G. Nadathur,
Kaustuv Chaudhuri,
David Baelde,
2014,
J. Formaliz. Reason..
Gopalan Nadathur,
Dale Miller,
G. Nadathur,
2012
.
Gopalan Nadathur,
Dustin J. Mitchell,
D. J. Mitchell,
1999,
CADE.
Gopalan Nadathur,
Dale Miller,
G. Nadathur,
1986,
ACL.
Gopalan Nadathur,
Bharat Jayaraman,
G. Nadathur,
1989
.
Gopalan Nadathur,
Bharat Jayaraman,
Keehang Kwon,
1995,
J. Log. Program..
R. Weischedel,
G. Nadathur,
A. Zwarico,
2002
.
Gopalan Nadathur,
Bharat Jayaraman,
G. Nadathur,
1989,
NACLP.
Gopalan Nadathur,
Andrew Gacek,
G. Nadathur,
2007,
ArXiv.
Gopalan Nadathur,
Natalie Linnell,
G. Nadathur,
2005,
ICLP.
G. Nadathur,
2004,
Theory and Practice of Logic Programming.
Gopalan Nadathur,
G. Nadathur,
2002,
WoLLIC.
G. Nadathur,
1996,
J. Funct. Log. Program..
Gopalan Nadathur,
Debra Sue Wilson,
G. Nadathur,
1990,
LISP and Functional Programming.