Figueira, Diego; Figueira, Santiago; Schmitz, Sylvain; Schnoebelen, Philippe (2011), "Ackermannian and primitive-recursive bounds with Dickson's lemma", 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), IEEE Computer Soc., Los Alamitos, CA, p. 269, arXiv:1007.2989, doi:10.1109/LICS.2011.39, MR2858898, S2CID9178090.
arxiv.org
Figueira, Diego; Figueira, Santiago; Schmitz, Sylvain; Schnoebelen, Philippe (2011), "Ackermannian and primitive-recursive bounds with Dickson's lemma", 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), IEEE Computer Soc., Los Alamitos, CA, p. 269, arXiv:1007.2989, doi:10.1109/LICS.2011.39, MR2858898, S2CID9178090.
Dickson, L. E. (1913), "Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors", American Journal of Mathematics, 35 (4): 413–422, doi:10.2307/2370405, JSTOR2370405.
Figueira, Diego; Figueira, Santiago; Schmitz, Sylvain; Schnoebelen, Philippe (2011), "Ackermannian and primitive-recursive bounds with Dickson's lemma", 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), IEEE Computer Soc., Los Alamitos, CA, p. 269, arXiv:1007.2989, doi:10.1109/LICS.2011.39, MR2858898, S2CID9178090.
Dickson, L. E. (1913), "Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors", American Journal of Mathematics, 35 (4): 413–422, doi:10.2307/2370405, JSTOR2370405.
semanticscholar.org
api.semanticscholar.org
Figueira, Diego; Figueira, Santiago; Schmitz, Sylvain; Schnoebelen, Philippe (2011), "Ackermannian and primitive-recursive bounds with Dickson's lemma", 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), IEEE Computer Soc., Los Alamitos, CA, p. 269, arXiv:1007.2989, doi:10.1109/LICS.2011.39, MR2858898, S2CID9178090.