William S. Hatcher

From MaRDI portal
Person:800475

Available identifiers

zbMath Open hatcher.william-sWikidataQ446853 ScholiaQ446853MaRDI QIDQ800475

List of research outcomes





PublicationDate of PublicationType
Pairings on Lambda Algebras1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q37707431987-01-01Paper
Lambda‐Algebras and C‐Monoids1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37038991985-01-01Paper
Characterizing categories of algebras1984-01-01Paper
ON THE ORDER STRUCTURE OF THE HYPERREAL LINE1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39606951983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47398871982-01-01Paper
Calculus is Algebra1982-01-01Paper
Complexity bounds on proofs1981-01-01Paper
A Language for Type‐Free Algebra1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41906851978-01-01Paper
CONTEXT-FREE ALGEBRAS1976-01-01Paper
A logical framework for large file information handling1975-01-01Paper
A Semantic Basis for Program Verification1975-01-01Paper
Categorical languages for algebraic structures1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56774471973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56727861972-01-01Paper
Foundations as a branch of mathematics. Comments by Charles Castonguay1972-01-01Paper
Quasiprimitive subcategories1970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56214461970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55650991969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55853641968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55556801968-01-01Paper
Logical truth and logical implication1966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55075071965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32933981963-01-01Paper

Research outcomes over time

This page was built for person: William S. Hatcher