M. Smyth
发表
M. Fourman,
M. Smyth,
P. Johnstone,
1992
.
M. Smyth,
J. Webster,
2002
.
M. Smyth,
1983,
ICALP.
M. Smyth,
2006
.
M. Smyth,
2004
.
Michael B. Smyth,
M. Smyth,
Michael B. Smyth,
1983,
ICALP.
M. Smyth,
2008
.
M. Smyth,
Rueiher Tsaur,
2004
.
Michael B. Smyth,
M. Smyth,
1995,
Theor. Comput. Sci..
M. Smyth,
1996
.
Michael B. Smyth,
Julian Webster,
M. Smyth,
2007,
Handbook of Spatial Logics.
Michael B. Smyth,
M. Smyth,
1987,
MFPS.
Daniel J. Lehmann,
Michael B. Smyth,
D. Lehmann,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Nils Anders Danielsson,
Michael B. Smyth,
M. Smyth,
2003,
MFCSIT.
Daniel Lehmann,
Michael B. Smyth,
D. Lehmann,
1981,
Mathematical systems theory.
Michael B. Smyth,
M. Smyth,
2003,
MFCSIT.
Rueiher Tsaur,
Michael B. Smyth,
M. Smyth,
2003,
MFCSIT.
Gordon D. Plotkin,
Michael B. Smyth,
G. Plotkin,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Michael B. Smyth,
M. Smyth,
2006,
Ann. Pure Appl. Log..
Michael B. Smyth,
M. Smyth,
1977,
Theor. Comput. Sci..
Rueiher Tsaur,
Michael B. Smyth,
M. Smyth,
2000,
Digital and Image Geometry.
Abbas Edalat,
Michael B. Smyth,
M. Smyth,
1993,
Theor. Comput. Sci..
Abbas Edalat,
Michael B. Smyth,
M. Smyth,
1991,
Category Theory and Computer Science.
M. Smyth,
A. Edalat,
1993,
Appl. Categorical Struct..
M. B. Smyth,
M. Smyth,
1992
.
Michael B. Smyth,
M. Smyth,
1991
.
G. Plotkin,
M. Smyth,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Michael B. Smyth,
M. Smyth,
1985,
CTCS.
Michael B. Smyth,
M. Smyth,
1980,
ICALP.
Michael B. Smyth,
M. Smyth,
1983,
Theor. Comput. Sci..
M. Smyth,
2008
.
Ralph Kopperman,
Dieter Spreen,
Michael B. Smyth,
2005,
Spatial Representation.