Michael Fourman
Michael Fourman
School of Informatics, The University of Edinburgh
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Sheaves and Logic
MP Fourman, DS Scott
Applications of Sheaves, Durham 1977, 1974
451*1974
Compaction of symbolic layout using genetic algorithms
MP Fourman
Genetic Algorithms and Their Applications: Proc. 1st Int. Conf. Genetic …, 1985
4181985
The logic of topoi
MP Fourman
The Handbook of Mathematical Logic, Studies in Logic and the Foundations of …, 1977
1511977
Sheaf models for analysis
MP Fourman, JME Hyland
Applications of Sheaves, Durham 1977 753, 280-301, 1979
1281979
Formal spaces
MP Fourman, RJ Grayson
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held …, 1982
126*1982
Applications of Sheaves
MP Fourman, C Mulvey, DS Scott
Proceedings of the Research Symposium on Applications of Sheaf Theory to …, 1979
106*1979
Sheaf models for set theory
MP Fourman
Journal of Pure and Applied Algebra 19, 91-101, 1980
771980
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
731989
Informatics
MP Fourman
International Encyclopaedia of Information and Library Science. Routledge, 2002
512002
Propositional planning
MP Fourman
Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning, 10-17, 2000
502000
Formally based system design-interactive hardware scheduling
MP Fourman
Proc. of VLSI89, 101-112, 1989
361989
Integration of formal methods with system design
EM Mayger, MP Fourman
VLSI, 59-69, 1991
351991
Partial functions in a total setting
S Finn, MP Fourman, J Longley
Journal of Automated Reasoning 18 (1), 85-104, 1997
291997
The “world's simplest axiom of choice” fails
MP Fourman, A Ščedrov
Manuscripta mathematica 38 (3), 325-332, 1982
231982
Notions of choice sequence
MP Fourman
Studies in Logic and the Foundations of Mathematics 110, 91-105, 1982
231982
Continuous truth i non-constructive objects
MP Fourman
Studies in Logic and the Foundations of Mathematics 112, 161-180, 1984
201984
Proof and synthesis
MP Fourman, WJ Palmer, RM Zimmer
Proceedings 1988 IEEE International Conference on Computer Design: VLSI, 600 …, 1988
181988
Connections Between Category Theory and Logic.
MP Fourman
University of Oxford, 1974
171974
Formal system design
MP Fourman
IEE Colloquium on High Level Modelling and Design for ASICs, 9/1-9/3, 1989
161989
Theories as categories
MP Fourman
Category theory and computer programming, 434-448, 1986
151986
The system can't perform the operation now. Try again later.
Articles 1–20