Michael P. Fourman

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

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

Last update Mon May 20 07:54:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page