William S. Hatcher

According to our database1, William S. Hatcher authored at least 9 papers between 1966 and 1991.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1991
Pairings on Lambda Algebras.
Math. Log. Q., 1991

1986
Lambda-Algebras and C-Monoids.
Math. Log. Q., 1986

1983
On the Order Structure of the Hyperreal Line.
Math. Log. Q., 1983

1981
Complexity Bounds on Proofs.
J. Symb. Log., 1981

1978
A Language for Type-Free Algebra.
Math. Log. Q., 1978

1975
Categorical languages for algebraic structures.
Math. Log. Q., 1975

A logical framework for large file information handling.
Inf. Sci., 1975

1972
Foundations as a branch of mathematics.
J. Philosophical Logic, 1972

1966
Logical Truth and Logical Implication.
J. Symb. Log., 1966


  Loading...