Michael P. Fourman
发表
Michael P. Fourman,
2013,
WoLLIC.
Michael P. Fourman,
R. M. Zimmer,
1989
.
Michael P. Fourman,
1985,
ICGA.
Michael P. Fourman,
Wesley Phoa,
M. Fourman,
1992,
ICALP.
Michael P. Fourman,
M. Fourman,
2007
.
Michael P. Fourman,
R. M. Zimmer,
W. J. Palmer,
1988,
Proceedings 1988 IEEE International Conference on Computer Design: VLSI.
Michael P. Fourman,
M. Fourman,
1996,
NATO ASI DPD.
Michael P. Fourman,
1989
.
John Longley,
Michael P. Fourman,
Simon Finn,
2004,
Journal of Automated Reasoning.
Gerry Musgrave,
Michael P. Fourman,
R. L. Harris,
1991
.
Michael P. Fourman,
M. Fourman,
2007,
IICAI.
Hayo Thielecke,
Michael P. Fourman,
1995,
Category Theory and Computer Science.
Steven J. Vickers,
Michael P. Fourman,
1985,
CTCS.
Michael P. Fourman,
M. Fourman,
1985,
ICGA.
Michael P. Fourman,
M. Fourman,
2013,
In Search of Elegance in the Theory and Practice of Computation.
Michael P. Fourman,
1992,
IFIP Congress.
Michael P. Fourman,
E. M. Mayger,
Eleanor M. Mayger,
1991,
VLSI.
Michael P. Fourman,
Nick Chapman,
Simon Finn,
1994,
TPHOLs.
Michael P. Fourman,
M. Fourman,
1982
.
Michael P. Fourman,
2001,
TACAS.
Michael P. Fourman,
M. Fourman,
1980
.
Michael P. Fourman,
J. M. E. Hyland,
M. Fourman,
1979
.
Nicola Osborne,
Michael P. Fourman,
Frank Bechhofer,
2013
.