Michael P. Fourman

16 papers A* 1A 1C 2Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2013 C conf
Continuous Truth II: Reflections.
WoLLIC
Michael P. Fourman
2013 — conf
Hitting Buneman Circles.
In Search of Elegance in the Theory and Practice of Computation
Michael P. Fourman
2013 — ed.
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman
In Search of Elegance in the Theory and Practice of Computation
Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman
2007 — conf
Logics for Action.
IICAI
Michael P. Fourman
2001 A conf
Propositional Reasoning.
TACAS
Michael P. Fourman
1997 J jnl
Partial Functions in a Total Setting.
J. Autom. Reason.
Simon Finn, Michael P. Fourman, John Longley
1996 — conf
Proof and design.
NATO ASI DPD
Michael P. Fourman
1995 — conf
A Proposed Categorical Semantics for ML Modules.
Category Theory and Computer Science
Michael P. Fourman, Hayo Thielecke
1994 — conf
Datatypes in L2.
TPHOLs
Nick Chapman, Simon Finn, Michael P. Fourman
1992 A* conf
A Proposed Categorial Semantics for Pure ML.
ICALP
Wesley Phoa, Michael P. Fourman
1992 — conf
The CAD Tool of the Future.
IFIP Congress (1)
Michael P. Fourman
1991 — conf
Integration of Formal Methods with System Design.
VLSI
Eleanor M. Mayger, Michael P. Fourman
1991 J jnl
The need for a core method DIALOG - Linking formal proof to the design environment.
Microprocessing and Microprogramming
Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman
1988 C conf
Proof and synthesis.
ICCD
Michael P. Fourman, W. J. Palmer, R. M. Zimmer
1985 — conf
Compaction of Symbolic Layout Using Genetic Algorithms.
ICGA
Michael P. Fourman
1985 — conf
Theories as Categories.
CTCS
Michael P. Fourman, Steven Vickers