R. Waldinger
发表
Richard Waldinger,
R. Waldinger,
1977
.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1971,
Symposium on Semantics of Algorithmic Languages.
Richard J. Waldinger,
J. F. Rulifson,
Jan A. Derksen,
1972
.
Richard C. T. Lee,
Richard J. Waldinger,
R. Waldinger,
1969,
IJCAI.
R. Waldinger,
Jeff Shrager,
M. Stickel,
2007,
PloS one.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1985
.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1971,
Symposium on Semantics of Algorithmic Languages.
Mark E. Stickel,
Richard J. Waldinger,
R. Waldinger,
1992,
Int. J. Softw. Eng. Knowl. Eng..
R. Waldinger,
Z. Manna,
1982
.
Richard C. T. Lee,
Richard J. Waldinger,
Chin-Liang Chang,
1974,
CACM.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1985,
JACM.
R. Waldinger,
Z. Manna,
Richard Waldingcr,
1998
.
R. Waldinger,
R. Waldinger,
Z. Manna,
1979,
IEEE Transactions on Software Engineering.
R. Waldinger,
Z. Manna,
2022
.
R. Waldinger,
Manna,
L. Zohar,
2022
.
R. Waldinger,
K. Levitt,
B. Elspas,
1972,
CSUR.
R. Waldinger,
J. Forth,
2009
.
R. Waldinger,
2005
.
Zohar Manna,
Amir Pnueli,
Carolyn L. Talcott,
1994
.
R. Waldinger,
Z. Manna,
1998
.
Zohar Manna,
Mark E. Stickel,
Richard J. Waldinger,
1991,
Artificial and Mathematical Theory of Computation.
Ian A. Mason,
R. Waldinger,
Z. Manna,
2022
.
Zohar Manna,
Richard Waldinger,
R. Waldinger,
1990
.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1987
.
Zohar Manna,
Bengt Jonsson,
Richard J. Waldinger,
1986,
LICS.
Zohar Manna,
Richard J. Waldinger,
Massimo Paltrinieri,
1995,
WOCFAI.
Richard J. Waldinger,
R. Waldinger,
1990
.
Richard J. Waldinger,
Cleo Condoravdi,
Kyle Richardson,
2015,
AAAI Spring Symposia.
Richard J. Waldinger,
Irene Greif,
R. Waldinger,
1974,
Symposium on Programming.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1978
.
Richard J. Waldinger,
R. Waldinger,
1990,
CADE.
Earl D. Sacerdoti,
Richard Fikes,
Rene Reboh,
1899
.
Zohar Manna,
R. Waldinger,
Z. Manna,
1979,
TOPL.
R. Waldinger,
Donald,
Nielson,
2022
.
Zohar Manna,
Richard Waldinger,
R. Waldinger,
1985
.
Amar K. Das,
R. Waldinger,
D. Bobrow,
2011
.
Richard J. Waldinger,
Gerd Große,
R. Waldinger,
1991,
EWSP.
Richard Fikes,
René Reboh,
Richard J. Waldinger,
1976,
AFIPS '76.
Benjamin M. Good,
R. Waldinger,
V. Chaudhri,
2007
.
John D. Lowrance,
Vinay K. Chaudhri,
Mark E. Stickel,
2000
.
Adam Farquhar,
Vinay K. Chaudhri,
Richard J. Waldinger,
1998,
KRDB.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1979,
TOPL.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1976,
ICSE '76.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1998
.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1978,
IEEE Transactions on Software Engineering.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1979,
IEEE Trans. Software Eng..
Zohar Manna,
Richard Waldinger,
R. Waldinger,
1977,
Artificial Intelligence and Programming Languages.
Zohar Manna,
Richard J. Waldinger,
Yonathan Malachi,
1984,
LFP '84.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1978,
ICSE '78.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1985,
IJCAI.
David R. Barstow,
Douglas B. Lenat,
David E. Shaw,
1974
.
Mieczyslaw M. Kokar,
Kenneth Baclawski,
Richard J. Waldinger,
2002,
SEMWEB.
Richard Waldinger,
Vinay K. Chaudhri,
Mark E. Stickel,
2000
.
Michael R. Lowry,
Ian Underwood,
Mark E. Stickel,
1994,
CADE.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1992,
IEEE Trans. Software Eng..
Richard Waldinger,
Nachum Dershowitz,
R. Waldinger,
2019,
Formal Aspects of Computing.
Richard J. Waldinger,
Xiaolei Qian,
R. Waldinger,
1988,
SIGMOD '88.
Karl N. Levitt,
Richard J. Waldinger,
R. Waldinger,
1973,
Artif. Intell..
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1980,
Acta Informatica.
John Rushby,
Mark E. Stickel,
Richard J. Waldinger,
1990
.
R. Waldinger,
C. Condoravdi,
2018
.
Jennifer L. Dungan,
Richard J. Waldinger,
Peter Jarvis,
2003,
Verification: Theory and Practice.
Jennifer L. Dungan,
Peter A. Jarvis,
Richard J. Waldinger,
2003
.
Vinay K. Chaudhri,
Mark E. Stickel,
Richard J. Waldinger,
2000,
AAAI/IAAI.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1987,
AAAI.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1993
.
Zohar Manna,
Richard J. Waldinger,
R. Waldinger,
1981,
Sci. Comput. Program..
Richard Waldinger,
Peter Jarvis,
Jennifer Dungan,
2003,
HLT-NAACL 2003.
Douglas E. Appelt,
Jerry R. Hobbs,
David J. Israel,
2004,
New Directions in Question Answering.