Michael P. Fourman

Affiliations:
  • University of Edinburgh, UK


According to our database1, Michael P. Fourman authored at least 18 papers between 1985 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Introduction to Computation - Haskell, Logic and Automata
Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-030-76907-9, 2021

2016
RemIX: A Distributed Internet Exchange for Remote and Rural Networks.
Proceedings of the 2016 workshop on Global Access to the Internet for All, 2016

Measuring the Broadband Access Divide.
Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, 2016

2013
Continuous Truth II: Reflections.
Proceedings of the Logic, Language, Information, and Computation, 2013

Hitting Buneman Circles.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2007
Logics for Action.
Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

2001
Propositional Reasoning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

1997
Partial Functions in a Total Setting.
J. Autom. Reason., 1997

1996
Proof and design.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995
A Proposed Categorical Semantics for ML Modules.
Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1994
Datatypes in L2.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1992
The CAD Tool of the Future.
Proceedings of the Algorithms, Software, Architecture, 1992

A Proposed Categorial Semantics for Pure ML.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991
The need for a core method DIALOG - Linking formal proof to the design environment.
Microprocessing and Microprogramming, 1991

Integration of Formal Methods with System Design.
Proceedings of the VLSI 91, 1991

1988
Proof and synthesis.
Proceedings of the Computer Design: VLSI in Computers and Processors, 1988

1985
Compaction of Symbolic Layout Using Genetic Algorithms.
Proceedings of the 1st International Conference on Genetic Algorithms, 1985

Theories as Categories.
Proceedings of the Category Theory and Computer Programming, 1985


  Loading...