( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reverse Mathematical Bounds for the Termination Theorem.

, и . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Abou Keita

Thierno Keita

Keita Ono

Moussa Balla Keita

Mady Koly Keita

 

Другие публикации лиц с тем же именем

Reverse Mathematical Bounds for the Termination Theorem., и . CoRR, (2015)Ramsey's theorem for pairs, collection, and proof size., , и . J. Math. Log., 24 (2): 2350007:1-2350007:40 (августа 2024)Searching problems above arithmetical transfinite recursion., и . Ann. Pure Appl. Log., 175 (10): 103488 (2024)Propagation of partial randomness., , , и . Ann. Pure Appl. Log., 165 (2): 742-758 (2014)The strength of the SCT criterion., , и . CoRR, (2016)Two-sided Rank Consistent Ordinal Regression for Interpretable Music Key Recommendation., , , , и . ICTIR, стр. 223-231. ACM, (2022)Karaoke Key Recommendation Via Personalized Competence-Based Rating Prediction., , , , и . ICASSP, стр. 286-290. IEEE, (2021)The Strength of the SCT Criterion., , и . TAMC, том 10185 из Lecture Notes in Computer Science, стр. 260-273. (2017)On the Ramseyan Factorization Theorem., , и . CiE, том 8493 из Lecture Notes in Computer Science, стр. 324-332. Springer, (2014)A Nonstandard Counterpart of WWKL., и . Notre Dame J. Formal Log., 52 (3): 229-243 (2011)