Michael B. Smyth

Available identifiers

zbMath Open smyth.michael-bMaRDI QIDQ761040

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2863888	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2843616	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q2843631	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q2843633	2013-08-23	Paper
A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions	2013-06-06	Paper
The constructive maximal point space and partial metrizability	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4819394	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4475310	2004-08-09	Paper
Finite approximation of stably compact spaces	2003-10-08	Paper
AFPP vs FPP	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4520832	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4222901	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4373438	1998-04-05	Paper
Semi-metrics, closure spaces and digital topology	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4870825	1996-09-22	Paper
Completeness of Quasi-Uniform and Syntopological Spaces	1994-11-10	Paper
Information categories	1994-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q3138548	1994-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4282568	1994-06-02	Paper
I-categories as a framework for solving domain equations	1993-12-20	Paper
Stable Compactification I	1993-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q3359391	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3821265	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780421	1986-01-01	Paper
The largest Cartesian closed category of domains	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316563	1983-01-01	Paper
The Category-Theoretic Solution of Recursive Domain Equations	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3878751	1981-01-01	Paper
Algebraic specification of data types: A synthetic approach	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926040	1980-01-01	Paper
Effectively given domains	1978-01-01	Paper
Power domains	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4195918	1976-01-01	Paper
Involution as a basis for propositional calculi	1974-01-01	Paper
Unique-entry graphs, flowcharts, and state diagrams	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5631081	1972-01-01	Paper
A diagrammatic treatment of syllogistic	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael B. Smyth