On proving Higman's theorem and its extension by Kruskal intuitionistically (1997)

by W Veldman
Results 1 - 1 of 1

Preservation of Termination for Explicit Substitution

by Carolus Johannes Bloo , 1997
"... ..."
Abstract - Cited by 38 (1 self) - Add to MetaCart
Abstract not found