William S. Hatcher

Available identifiers

zbMath Open hatcher.william-sWikidataQ446853 ScholiaQ446853MaRDI QIDQ800475

List of research outcomes

Publication	Date of Publication	Type
Pairings on Lambda Algebras	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3770743	1987-01-01	Paper
Lambda‐Algebras and C‐Monoids	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703899	1985-01-01	Paper
Characterizing categories of algebras	1984-01-01	Paper
ON THE ORDER STRUCTURE OF THE HYPERREAL LINE	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960695	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4739887	1982-01-01	Paper
Calculus is Algebra	1982-01-01	Paper
Complexity bounds on proofs	1981-01-01	Paper
A Language for Type‐Free Algebra	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190685	1978-01-01	Paper
CONTEXT-FREE ALGEBRAS	1976-01-01	Paper
A logical framework for large file information handling	1975-01-01	Paper
A Semantic Basis for Program Verification	1975-01-01	Paper
Categorical languages for algebraic structures	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677447	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672786	1972-01-01	Paper
Foundations as a branch of mathematics. Comments by Charles Castonguay	1972-01-01	Paper
Quasiprimitive subcategories	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5621446	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5565099	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5585364	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5555680	1968-01-01	Paper
Logical truth and logical implication	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5507507	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3293398	1963-01-01	Paper

Research outcomes over time

This page was built for person: William S. Hatcher