Ian A. Mason
发表
Ingemar J. Cox,
Peter H. Tu,
Andrew Zisserman,
1994,
Proceedings of the 12th IAPR International Conference on Pattern Recognition, Vol. 2 - Conference B: Computer Vision & Image Processing. (Cat. No.94CH3440-5).
Ian A. Mason,
Jonathan M. Ford,
2003,
High. Order Symb. Comput..
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Ian A. Mason,
1986,
LICS.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2005,
FInCo@ETAPS.
Carolyn L. Talcott,
Ian A. Mason,
Furio Honsell,
1992,
CSL.
Carolyn L. Talcott,
Ian A. Mason,
Gul A. Agha,
1992,
CONCUR.
Ian A. Mason,
1997,
Theor. Comput. Sci..
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1989
.
Carolyn L. Talcott,
Ian A. Mason,
Richard Sommer,
2016
.
Ian A. Mason,
1986
.
Natarajan Shankar,
Jack W. Davidson,
Ian A. Mason,
2016,
CISRC.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2018,
Log. Methods Comput. Sci..
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1999,
Theor. Comput. Sci..
Ian A. Mason,
Jonathan M. Ford,
2001,
Electron. Notes Theor. Comput. Sci..
Carolyn L. Talcott,
Ian A. Mason,
1995,
Int. J. Found. Comput. Sci..
Olivier Danvy,
Ian A. Mason,
2004,
High. Order Symb. Comput..
Ian A. Mason,
Brett Carson,
B. Carson,
2005,
PVM/MPI.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1990,
US-Brazil Joint Workshops on the Formal Foundations of Software Systems.
Ingemar J. Cox,
Peter H. Tu,
Andrew Zisserman,
1994,
Proceedings of 1st International Conference on Image Processing.
Ian A. Mason,
1985,
J. Symb. Log..
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2004,
WRLA.
Carolyn L. Talcott,
Ian A. Mason,
Furio Honsell,
1995,
Inf. Comput..
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1994,
Logic, Language and Computation.
Olivier Danvy,
Ian A. Mason,
2008,
High. Order Symb. Comput..
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
2007
.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1997,
ICALP.
Carolyn L. Talcott,
Ian A. Mason,
Gul A. Agha,
1997,
Journal of Functional Programming.
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1992,
Journal of Automated Reasoning.
Ian A. Mason,
Sasa Buvac,
Vanja Buvac,
1994,
ISMIS.
Jorge A. Navas,
Ian A. Mason,
Bruno Dutertre,
2020,
VSTTE.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1985
.
Peter H. Tu,
Andrew Zisserman,
Ian A. Mason,
1993,
BMVC.
Carolyn L. Talcott,
Ian A. Mason,
1991
.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1992,
Theor. Comput. Sci..
Ian A. Mason,
1999,
High. Order Symb. Comput..
Carolyn L. Talcott,
Ian A. Mason,
1997,
ICALP.
Martin Odersky,
Ian A. Mason,
Martin Odersky,
1995,
LISP Symb. Comput..
Carolyn L. Talcott,
Ian A. Mason,
Joseph Daniel Pehoushek,
1990
.
Ian A. Mason,
1987
.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1989,
ICALP.
Carolyn L. Talcott,
Ian A. Mason,
2000,
WRLA.
Carolyn L. Talcott,
Ian A. Mason,
Scott F. Smith,
1996,
Inf. Comput..
Stijn Heymans,
Natarajan Shankar,
Ian A. Mason,
2014,
Specification, Algebra, and Software.
Ian A. Mason,
Sasa Buvac,
Sasa Buvac,
1993,
AAAI.
Carolyn L. Talcott,
Ian A. Mason,
C. Talcott,
1991,
PEPM '91.
Ian A. Mason,
Sasa Buvac,
Vanja Buvac,
1995,
Fundam. Informaticae.
Ian A. Mason,
1988,
Sci. Comput. Program..
Ian A. Mason,
C. Talcott,
1989,
LICS 1989.
Ian A. Mason,
C. Talcott,
1989
.
Ian A. Mason,
Scott F. Smith,
F. Honsell,
1993
.
Ian A. Mason,
C. Talcott,
2005
.
Ian A. Mason,
Jonathan Ford,
.
Ian A. Mason,
C. Talcott,
2005
.
Ian A. Mason,
Jonathan M. Ford,
2022
.
Ian A. Mason,
Scott F. Smith,
C. Talcott,
2008
.
Ian A. Mason,
Scott F. Smith,
G. Agha,
1993
.
Zohar Manna,
Amir Pnueli,
Carolyn L. Talcott,
1994
.
Ian A. Mason,
C. Talcott,
Scott F. Smithy,
1995
.
Ian A. Mason,
R. Waldinger,
Z. Manna,
2022
.
Fausto Giunchiglia,
Ian A. Mason,
Richard Fikes,
1997
.
Ian A. Mason,
J Frost,
Ia Mason,
1996
.
Ian A. Mason,
C. Talcott,
1991,
Journal of Functional Programming.