Publication
-
January 1976
-
Some applications of the meyer-mccreight algorithm in abstract complexity theory : (prepublication) Tech Report
January 1976 -
Least fixed points and the recursion theorem Tech Report
January 1976 -
January 1976
-
The dependence of some logical axioms on disjoint transversals and linked systems : (prepublication) Tech Report
January 1976 -
January 1976
-
The wax bound for binary codes Tech Report
January 1976 -
January 1976