Michael P. Fourman

	2007
11		Michael P. Fourman: Logics for Action. IICAI 2007: 1223-1237
	2001
10		Michael P. Fourman: Propositional Reasoning. TACAS 2001: 23
	1997
9		Simon Finn, Michael P. Fourman, John Longley: Partial Functions in a Total Setting. J. Autom. Reasoning 18(1): 85-104 (1997)
	1996
8		Michael P. Fourman: Proof and design. NATO ASI DPD 1996: 397-439
	1995
7		Michael P. Fourman, Hayo Thielecke: A Proposed Categorical Semantics for ML Modules. Category Theory and Computer Science 1995: 240-252
	1994
6		Nick Chapman, Simon Finn, Michael P. Fourman: Datatypes in L2. TPHOLs 1994: 128-143
	1992
5		Wesley Phoa, Michael P. Fourman: A Proposed Categorial Semantics for Pure ML. ICALP 1992: 533-544
4		Michael P. Fourman: The CAD Tool of the Future. IFIP Congress (1) 1992: 713
	1991
3		Eleanor M. Mayger, Michael P. Fourman: Integration of Formal Methods with System Design. VLSI 1991: 59-69
	1985
2		Michael P. Fourman, Steven Vickers: Theories as Categories. CTCS 1985: 434-448
1		Michael P. Fourman: Compaction of Symbolic Layout Using Genetic Algorithms. ICGA 1985: 141-153

Coauthor Index

1	Nick Chapman	[6]
2	Simon Finn	[6] [9]
3	John Longley	[9]
4	Eleanor M. Mayger	[3]
5	Wesley Phoa	[5]
6	Hayo Thielecke	[7]
7	Steven J. Vickers (Steven Vickers)	[2]

Colors in the list of coauthors