dblp.uni-trier.dewww.uni-trier.de

Michael P. Fourman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
11 Michael P. Fourman: Logics for Action. IICAI 2007: 1223-1237
2001
10EEMichael 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
6EENick Chapman, Simon Finn, Michael P. Fourman: Datatypes in L2. TPHOLs 1994: 128-143
1992
5EEWesley 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)