Uday S. Reddy
发表
Samuel N. Kamin,
Uday S. Reddy,
1993,
Comput. Lang..
Uday S. Reddy,
Brian P. Dunphy,
U. Reddy,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Uday S. Reddy,
U. Reddy,
1986,
Graph Reduction.
Peter W. O'Hearn,
Uday S. Reddy,
1995,
MFPS.
Uday S. Reddy,
U. Reddy,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Uday S. Reddy,
U. Reddy,
1989,
RTA.
Prateek Mishra,
Uday S. Reddy,
Prateek Mishra,
1985,
POPL.
Uday S. Reddy,
Howard Huang,
1995,
Functional Programming.
Uday S. Reddy,
Chang Woo Pyo,
U. Reddy,
1989,
NACLP.
Hongseok Yang,
Uday S. Reddy,
2004,
Sci. Comput. Program..
Uday S. Reddy,
1982,
ACM-SE 20.
Uday S. Reddy,
Kalpesh Kapoor,
Kamal Lodaya,
2011,
J. Philos. Log..
Uday S. Reddy,
U. Reddy,
1990,
CADE.
Peter W. O'Hearn,
Uday S. Reddy,
Stephen Brookes,
2014,
Formal Aspects of Computing.
Samuel N. Kamin,
Uday S. Reddy,
U. Reddy,
1994
.
Uday S. Reddy,
U. Reddy,
1990,
Formal Methods in Software Development.
Claudio Hermida,
Uday S. Reddy,
Edmund P. Robinson,
2014,
WACT.
Vipin Swarup,
Uday S. Reddy,
Evan Ireland,
1991,
FPCA.
Uday S. Reddy,
Brian P. Dunphy,
2012,
ICALP.
Bharat Jayaraman,
Uday S. Reddy,
U. Reddy,
1983,
IJCAI.
Andrew A. Chien,
Julian Dolby,
Uday S. Reddy,
1996,
ISOTAS.
Uday S. Reddy,
1995,
ILPS.
Uday S. Reddy,
T. L. Lakshman,
1991,
ISLP.
Claudio Hermida,
Uday S. Reddy,
Edmund P. Robinson,
2019,
MFPS.
Uday S. Reddy,
U. Reddy,
1996,
CSUR.
Peter W. O'Hearn,
Hayo Thielecke,
Uday S. Reddy,
2002,
High. Order Symb. Comput..
Hongseok Yang,
Uday S. Reddy,
2003,
ESOP.
Uday S. Reddy,
U. Reddy,
1984,
SLP.
Uday S. Reddy,
1994,
ICLP 1994.
Uday S. Reddy,
1988
.
Hongseok Yang,
Uday S. Reddy,
Hongseok Yang,
2000,
FoSSaCS.
Uday S. Reddy,
U. Reddy,
1989,
SDE 3.
Uday S. Reddy,
François Bronsard,
Robert W. Hasker,
1994,
CADE.
Uday S. Reddy,
François Bronsard,
Robert W. Hasker,
1996,
Journal of Automated Reasoning.
Nachum Dershowitz,
Uday S. Reddy,
1993,
J. Symb. Comput..
Uday S. Reddy,
U. Reddy,
1992,
ELP.
Uday S. Reddy,
U. Reddy,
1985,
SLP.
Uday S. Reddy,
U. Reddy,
2002,
Inf. Comput..
Uday S. Reddy,
1993,
ELP.
Uday S. Reddy,
U. Reddy,
1986,
Logic Programming: Functions, Relations, and Equations.
Uday S. Reddy,
François Bronsard,
1992,
CTRS.
Uday S. Reddy,
Changwoo Pyo,
1990
.
John C. Reynolds,
Uday S. Reddy,
2012,
POPL '12.
Uday S. Reddy,
1990,
NACLP.
Uday S. Reddy,
U. Reddy,
1988,
LISP and Functional Programming.
Uday S. Reddy,
U. Reddy,
1996,
LISP Symb. Comput..
Uday S. Reddy,
1990
.
Uday S. Reddy,
François Bronsard,
T. K. Lakshman,
1992,
JICSLP.
Uday S. Reddy,
U. Reddy,
1993
.
Peter W. O'Hearn,
Uday S. Reddy,
1999,
Theor. Comput. Sci..
Samuel N. Kamin,
Uday S. Reddy,
U. Reddy,
1992,
Proceedings of the 1992 International Conference on Computer Languages.
Uday S. Reddy,
François Bronsard,
U. Reddy,
1990,
ALP.
Uday S. Reddy,
U. Reddy,
2013,
MFPS.
Vipin Swarup,
Uday S. Reddy,
1991,
Constructivity in Computer Science.
Peter W. O'Hearn,
Uday S. Reddy,
Stephen Brookes,
2014,
POPL.
Uday S. Reddy,
U. Reddy,
1993
.
Hongseok Yang,
Uday S. Reddy,
2000
.
Uday S. Reddy,
1996
.
Uday S. Reddy,
Brian P. Dunphy,
U. Reddy,
2002
.
Uday S. Reddy,
B. Dunphy,
2004,
LICS 2004.