-
1تقرير
المؤلفون: Zhuravlov, Volodymyr
مصطلحات موضوعية: Mathematics - Logic, 03B50, 03B60
URL الوصول: http://arxiv.org/abs/2406.00058
-
2تقرير
-
3تقرير
المؤلفون: Middelburg, C. A.
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B50 (Primary)
URL الوصول: http://arxiv.org/abs/2403.04641
-
4تقرير
-
5تقرير
المؤلفون: Blomet, Quentin, Égré, Paul
مصطلحات موضوعية: Mathematics - Logic, 03B50, 03B47
URL الوصول: http://arxiv.org/abs/2401.03436
-
6تقرير
المؤلفون: Greati, Vitor, Greco, Giuseppe, Marcelino, Sérgio, Palmigiano, Alessandra, Rivieccio, Umberto
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B50, F.4.1
URL الوصول: http://arxiv.org/abs/2401.03274
-
7تقرير
المؤلفون: da Ré, Bruno, Szmuc, Damian, Chemla, Emmanuel, Égré, Paul
مصطلحات موضوعية: Mathematics - Logic, 03B05, 03B47, 03B50
URL الوصول: http://arxiv.org/abs/2312.16035
-
8دورية أكاديمية
المؤلفون: Ramos, Jaime, Rasga, João, Sernadas, CristinaAff1, IDs11225024101322_cor3
المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-35
-
9تقرير
-
10تقرير