Douglas J. Howe
发表
Douglas J. Howe,
1987,
LICS.
Douglas J. Howe,
Stephen Michell,
2003
.
Douglas J. Howe,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Amy P. Felty,
Douglas J. Howe,
A. Felty,
1997,
CADE.
Douglas J. Howe,
1986,
CADE.
Robert L. Constable,
Douglas J. Howe,
R. Constable,
1989
.
Douglas J. Howe,
1996,
Inf. Comput..
Douglas J. Howe,
1996,
AMAST.
Scott D. Stoller,
Douglas J. Howe,
S. Stoller,
1994,
TACS.
Douglas J. Howe,
1993,
Functional Programming, Concurrency, Simulation and Automated Reasoning.
Amy P. Felty,
Douglas J. Howe,
A. Felty,
1994,
CADE.
Amy P. Felty,
Douglas J. Howe,
Frank A. Stomp,
1998
.
Douglas J. Howe,
1999,
CSL.
Douglas J. Howe,
James E. Cuccaro,
2001,
Inf. Syst. Manag..
Robert L. Constable,
Douglas J. Howe,
Stuart F. Allen,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Douglas J. Howe,
1988,
CADE.
Douglas J. Howe,
1996,
TPHOLs.
Amy P. Felty,
Abhik Roychoudhury,
Douglas J. Howe,
1999,
CADE.
Douglas J. Howe,
1998,
TPHOLs.
Douglas J. Howe,
2010,
ITP.
Douglas J. Howe,
2009,
LFMTP '09.
Amy P. Felty,
Douglas J. Howe,
Frank A. Stomp,
1998,
CAV.
Douglas J. Howe,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
David A. Basin,
Douglas J. Howe,
1991,
TACS.
Amy P. Felty,
Douglas J. Howe,
A. Felty,
1994,
LPAR.
Jawahar Chirimar,
Douglas J. Howe,
Jawahar Chirimar,
1992,
Constructivity in Computer Science.
Rance Cleaveland,
Robert L. Constable,
Prakash Panangaden,
1986
.
Douglas J. Howe,
R. Constable,
1989
.
Douglas J. Howe,
1993
.
Douglas J. Howe,
2007
.
Robert L. Constable,
Douglas J. Howe,
Stuart F. Allen,
1991
.
Douglas J. Howe,
J. Hook,
James G. Hook,
1986
.
Douglas J. Howe,
A. Felty,
F. Stomp,
1998
.
Douglas J. Howe,
R. Constable,
S. Allen,
2004
.
Douglas J. Howe,
Todd B. Knoblock,
James T. Sasaki,
1986
.
Douglas J. Howe,
A. Felty,
F. Stomp,
1998
.