-
1دورية أكاديمية
المؤلفون: Kanovei, VladimirAff1, IDs11225024101082_cor1, Lyubetsky, Vassily
المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-16
-
2تقرير
المؤلفون: Manighetti, Matteo, Miller, Dale
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2312.13634
-
3دورية أكاديمية
المؤلفون: Berarducci, AlessandroAff1, IDs40574022003259_cor1, Mamino, Marcello
المصدر: Bollettino dell'Unione Matematica Italiana. 16(1):25-41
-
4تقرير
المؤلفون: Kanovei, Vladimir
مصطلحات موضوعية: Mathematics - Logic, 03E15, 03E30, 03E35
URL الوصول: http://arxiv.org/abs/2305.12486
-
5دورية أكاديمية
المؤلفون: GALEOTTI, LORENZO, LÖWE, BENEDIKT
المصدر: The Bulletin of Symbolic Logic, 2022 Jun 01. 28(2), 182-206.
URL الوصول: https://www.jstor.org/stable/27139153
-
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
المؤلفون: ABDUL-QUADER, ATHAR
المصدر: The Journal of Symbolic Logic, 2018 Dec 01. 83(4), 1501-1511.
URL الوصول: https://www.jstor.org/stable/26600385
-
9مؤتمر
المؤلفون: Erickson, Jeff, Nivasch, Gabriel, Xu, Junyan
المصدر: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-13 Jun, 2021
Relation: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
-
10