Michael Fourman
Michael Fourman
School of Informatics, The University of Edinburgh
Verified email at ed.ac.uk - Homepage
TitleCited byYear
Sheaves and Logic
MP Fourman, DS Scott
Applications of Sheaves, Durham 1977, 1974
413*1974
Sheaves and logic
MP Fourman, DS Scott
Applications of Sheaves, Durham 1977, 302-401, 1979
4041979
Sheaves and logic
MP Fourman, DS Scott
Applications of Sheaves, Durham 1977 753, 302-401, 1979
4041979
Compaction of symbolic layout using genetic algorithms
MP Fourman
Genetic Algorithms and Their Applications: Proc. 1st Int. Conf. Genetic …, 1985
3781985
The logic of topoi
MP Fourman
The Handbook of Mathematical Logic, Studies in Logic and the Foundations of …, 1977
1361977
Formal spaces
MP Fourman, RJ Grayson
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held …, 1982
119*1982
Sheaf models for analysis
MP Fourman, JME Hyland
Applications of Sheaves, Durham 1977 753, 280-301, 1979
1161979
Applications of Sheaves
MP Fourman, C Mulvey, DS Scott
Proceedings of the Research Symposium on Applications of Sheaf Theory to …, 1979
103*1979
Formal system design—interactive synthesis based on computer-assisted formal reasoning
S Finn, MP Fourman, M Francis, R Harris
IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI …, 1989
681989
Sheaf models for set theory
MP Fourman
Journal of Pure and Applied Algebra 19, 91-101, 1980
681980
Propositional planning
MP Fourman
Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning, 10-17, 2000
472000
Informatics
MP Fourman
International Encyclopaedia of Information and Library Science. Routledge, 2002
402002
Formally based system design-interactive hardware scheduling
MP Fourman
Proc. of VLSI89, 101-112, 1989
321989
Integration of Formal Methods with System Design.
EM Mayger, MP Fourman
VLSI 91, 1991
311991
Partial functions in a total setting
S Finn, MP Fourman, J Longley
Journal of Automated Reasoning 18 (1), 85-104, 1997
301997
The “world's simplest axiom of choice” fails
MP Fourman, A Ščedrov
Manuscripta mathematica 38 (3), 325-332, 1982
231982
Connections Between Category Theory and Logic.
MP Fourman
University of Oxford, 1974
181974
Continuous truth I non-constructive objects
MP Fourman
Studies in Logic and the Foundations of Mathematics 112, 161-180, 1984
171984
Formal system design
MP Fourman
IEE Colloquium on High Level Modelling and Design for ASICs, 9/1-9/3, 1989
161989
Proof and synthesis
MP Fourman, WJ Palmer, RM Zimmer
Proceedings 1988 IEEE International Conference on Computer Design: VLSI, 600-603, 1988
161988
The system can't perform the operation now. Try again later.
Articles 1–20