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
Calculus is Algebra	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4739887	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
Foundations as a branch of mathematics. Comments by Charles Castonguay	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672786	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/Q5555680	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5585364	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

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: William S. Hatcher