S. Allen
发表
Rance Cleaveland,
Robert L. Constable,
Prakash Panangaden,
1986
.
S. Allen,
1998
.
S. Allen,
1987
.
Douglas J. Howe,
R. Constable,
S. Allen,
2004
.
Mark Bickford,
Christoph Kreitz,
Robert L. Constable,
2006,
J. Appl. Log..
Mark Bickford,
Christoph Kreitz,
Robert L. Constable,
2004
.
Eli Barzilay,
S. Allen,
Eli Barzilay,
2002
.
Robert L. Constable,
Douglas J. Howe,
Stuart F. Allen,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
R. Milner,
M. Gordon,
S. Allen,
1996
.
Douglas J. Howe,
Todd B. Knoblock,
James T. Sasaki,
1986
.
Lori Lorigo,
Stuart F. Allen,
Robert L. Constable,
2006
.
Robert L. Constable,
Stuart F. Allen,
R. Constable,
2006
.
Christoph Kreitz,
Robert L. Constable,
Richard Eaton,
2000,
CADE.
Robert L. Constable,
Matthew Fluet,
Stuart F. Allen,
2004
.
Stuart F. Allen,
S. Allen,
2006
.
R. Constable,
S. Allen,
J. Caldwell,
2001
.