4 citations · 12 across the 20 of their papers we have counts for
1 paper · 1 filter
Iosif Petrakis
We study constructively the relations between the finite cases of Dickson's lemma. Although there are many constructive proofs of them, the novel aspect of our proofs is the extrac…