A constructive proof of Higman’s lemma (1984)

by Stefan Berghofer
Venue:SME CONFERENCE PROCEEDINGS BETHLELEM
Citations:1 - 0 self