Proof of Higman’s Theorem — Theory of Computation
🌱 What We’re Trying to Prove We want to show: All strings built from a well-quasi-ordered alphabet are also well-quasi-ordered …
centre de recherches mathematiques
🌱 What We’re Trying to Prove We want to show: All strings built from a well-quasi-ordered alphabet are also well-quasi-ordered …