Michael J. O'Donnell
发表
Hans-Juergen Boehm,
Robert Cartwright,
Michael J. O'Donnell,
1986,
LFP '86.
Michael J. O'Donnell,
W. Taylor,
1987
.
John C. Mitchell,
Michael J. O'Donnell,
John C. Mitchell,
1986
.
John C. Mitchell,
Michael J. O'Donnell,
John C. Mitchell,
1986,
TARK.
Michael J. O'Donnell,
James Lipton,
James Lipton,
1994,
MFCS.
Stuart A. Kurtz,
John C. Mitchell,
Michael J. O'Donnell,
1992,
Constructivity in Computer Science.
Robert Strandh,
Christoph M. Hoffmann,
Michael J. O'Donnell,
1984,
Softw. Pract. Exp..
Stuart A. Kurtz,
Michael J. O'Donnell,
James S. Royer,
1987,
Inf. Process. Lett..
Daniel Leivant,
Steven Fortune,
Michael O'Donnell,
1983,
JACM.
Michael O'Donnell,
Michael J. O'Donnell,
1979,
STOC.
Michael J. O'Donnell,
Michael J. O'Donnell,
1985,
Logic of Programs.
Christoph M. Hoffmann,
Michael J. O'Donnell,
C. Hoffmann,
1982,
JACM.
Michael J. O'Donnell,
Michael J. O'Donnell,
1983,
CACM.
Michael J. O'Donnell,
Michael J. O'Donnell,
2003,
ArXiv.
Michael J. O'Donnell,
Michael J. O'Donnell,
1981,
CACM.
Michael J. O'Donnell,
Eric Dittert,
Michael J. O'Donnell,
1985,
IEEE Transactions on Computers.
Christoph M. Hoffmann,
Michael J. O'Donnell,
C. Hoffmann,
1982,
TOPL.
Michael J. O'Donnell,
Michael J. O'Donnell,
1999,
ArXiv.
Michael J. O'Donnell,
James Lipton,
James Lipton,
1996,
Ann. Pure Appl. Log..
Michael J. O'Donnell,
Michael J. O'Donnell,
1977,
Lecture Notes in Computer Science.
Robert L. Constable,
Michael J. O'Donnell,
Scott D. Johnson,
1978
.
Michael J. O'Donnell,
Michael J. O'Donnell,
1976
.
Christoph M. Hoffmann,
Michael J. O'Donnell,
C. Hoffmann,
1979,
POPL.