![]() | ![]() |
2007 | ||
---|---|---|
11 | Michael P. Fourman: Logics for Action. IICAI 2007: 1223-1237 | |
2001 | ||
10 | EE | 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 |
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] |