Richard Statman
发表
Kaizhong Zhang,
Richard Statman,
Dennis Shasha,
1992,
Inf. Process. Lett..
Richard Statman,
Roberto Virga,
Peter Andrews,
1999
.
Richard Statman,
Hendrik Pieter Barendregt,
H. Barendregt,
1999,
Journal of Functional Programming.
Richard Statman,
Hendrik Pieter Barendregt,
Wil Dekkers,
2013,
Perspectives in logic.
Richard Statman,
R. Statman,
1979,
Theor. Comput. Sci..
Richard Statman,
Benedetto Intrigila,
2011,
Fundam. Informaticae.
Richard Statman,
Robert L. Constable,
John C. Cherniavsky,
1994
.
Richard Statman,
1989,
Theor. Comput. Sci..
Richard Statman,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Richard Statman,
Wil Dekkers,
Henk Barendregt,
2013
.
Richard Statman,
2001,
Fundam. Informaticae.
Richard Statman,
Robert L. Constable,
John C. Cherniavsky,
1989
.
Richard Statman,
1997,
RTA.
Richard Statman,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Richard Statman,
1980,
Notre Dame J. Formal Log..
Richard Statman,
R. Statman,
1996,
MFPS.
Richard Statman,
Benedetto Intrigila,
B. Intrigila,
2005,
Ann. Pure Appl. Log..
Richard Statman,
R. Statman,
1982,
Journal of Symbolic Logic.
Richard Statman,
Paliath Narendran,
Frank Pfenning,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Richard Statman,
R. Statman,
1985,
Inf. Control..
Richard Statman,
R. Statman,
1979,
Theor. Comput. Sci..
Richard Statman,
R. Statman,
2000,
RTA.
Ana Pasztor,
Richard Statman,
1986,
Theor. Comput. Sci..
Richard Statman,
John C. Mitchell,
Albert R. Meyer,
1987,
POPL '87.
Richard Statman,
1986,
LICS.
Richard Statman,
2005,
ICTCS.
Richard Statman,
2000,
LPAR.
Richard Statman,
Benedetto Intrigila,
2004,
LICS.
Richard Statman,
1998,
CSL.
Richard Statman,
R. Statman,
1974
.
Richard Statman,
2004,
Ann. Pure Appl. Log..
Richard Statman,
1980,
SIAM J. Comput..
Richard Statman,
R. Statman,
2018,
ArXiv.
Richard Statman,
1986,
Notre Dame J. Formal Log..
Richard Statman,
John S. Gourlay,
William C. Rounds,
1979,
Semantics of Concurrent Computation.
Richard Statman,
R. Statman,
1989,
J. Symb. Comput..
Richard Statman,
R. Statman,
1993,
Theor. Comput. Sci..
Richard Statman,
Jonathan L. Gross,
Merrick L. Furst,
1989,
J. Comb. Theory, Ser. B.
Richard Statman,
Harry R. Lewis,
1982,
Inf. Process. Lett..
Richard Statman,
R. Statman,
1982,
J. Graph Theory.
Richard Statman,
Wil Dekkers,
Henk Barendregt,
2013
.
Richard Statman,
Hendrik Pieter Barendregt,
2005,
Processes, Terms and Cycles.
Richard Statman,
1999,
Math. Struct. Comput. Sci..
Richard Statman,
Benedetto Intrigila,
2009,
Log. Methods Comput. Sci..
Richard Statman,
Benedetto Intrigila,
2007,
TLCA.
Richard Statman,
Catriel Beeri,
Ronald Fagin,
1984,
JACM.
Richard Statman,
Benedetto Intrigila,
2017,
Math. Struct. Comput. Sci..
Richard Statman,
R. Statman,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Richard Statman,
1999,
TLCA.
Richard Statman,
John C. Cherniavsky,
Mahendran Velauthapillai,
1988,
Annual Conference Computational Learning Theory.
Richard Statman,
Benedetto Intrigila,
B. Intrigila,
2006,
Log. Methods Comput. Sci..
Richard Statman,
Andrew Polonsky,
R. Statman,
2021,
ArXiv.
Richard Statman,
Wil Dekkers,
Henk Barendregt,
2013
.
Richard Statman,
Wil Dekkers,
Henk Barendregt,
2013
.
Richard Statman,
Benedetto Intrigila,
Simona Ronchi Della Rocca,
2007
.
Richard Statman,
Benedetto Intrigila,
2007
.
Richard Statman,
Wil Dekkers,
Henk Barendregt,
1977
.
Richard Statman,
1994
.
Richard Statman,
Benedetto Intrigila,
2007
.
Richard Statman,
Richard Statman,
1983,
Arch. Math. Log..
Richard Statman,
Jörg H. Siekmann,
Christoph Benzmüller,
2010
.
Richard Statman,
Gilles Dowek,
1992
.
Richard Statman,
1992
.