Michael B. Smyth

Available identifiers

zbMath Open smyth.michael-bMaRDI QIDQ761040

List of research outcomes

Publication	Date of Publication	Type
Convexity in Helly graphs: selection and almost fixed point properties for multifunctions	2013-12-04	Paper
Matroids from modules	2013-08-23	Paper
The constructive maximal point space	2013-08-23	Paper
Fixed points in digital topology (via Helly posets)	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
https://portal.mardi4nfdi.de/entity/Q3316563	1983-01-01	Paper
The largest Cartesian closed category of domains	1983-01-01	Paper
The Category-Theoretic Solution of Recursive Domain Equations	1982-01-01	Paper
Algebraic specification of data types: A synthetic approach	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3878751	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926040	1980-01-01	Paper
Power domains	1978-01-01	Paper
Effectively given 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

This page was built for person: Michael B. Smyth