( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interpretations of Presburger Arithmetic in Itself.

, и . LFCS, том 10703 из Lecture Notes in Computer Science, стр. 354-367. Springer, (2018)

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.

Lenka Fedorová

Jan Kaspar Fedorcak

Aleksandra Fedorova

Maria Fedorova

Tatiana Fedorova

 

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

Reducing ω-model reflection to iterated syntactic reflection., и . J. Math. Log., 23 (2): 2250001:1-2250001:40 (августа 2023)Interpretations of Presburger Arithmetic in Itself., и . LFCS, том 10703 из Lecture Notes in Computer Science, стр. 354-367. Springer, (2018)Solovay's Completeness Without Fixed Points.. WoLLIC, том 10388 из Lecture Notes in Computer Science, стр. 281-294. Springer, (2017)The logical strength of minimal bad arrays, , и . Proceedings of the American Mathematical Society, (to appear)Provable better quasi orders, , , и . arXiv preprint,, (2023)Complexity of the interpretability logic IL., , и . Logic Journal of the IGPL, 27 (1): 1-7 (2019)Generalized fusible numbers and their ordinals., , и . Ann. Pure Appl. Log., 175 (Issue 1, Part A): 103355 (января 2024)Multi-dimensional Interpretations of Presburger Arithmetic in Itself., и . J. Log. Comput., 30 (8): 1681-1693 (2020)Short Proofs for Slow Consistency., и . Notre Dame J. Formal Log., 61 (1): 31-49 (2020)