-
1تقرير
المؤلفون: Platzer, André
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70, 68N15, 97E30, 97U70, 97P40, F.3.1, F.3.2, K.3.0
URL الوصول: http://arxiv.org/abs/2407.09959
-
2
-
3تقرير
-
4تقرير
-
5تقرير
المؤلفون: Koshkin, Sergiy
المصدر: Logic Journal of the IGPL, 2023
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Databases, Computer Science - Logic in Computer Science, Mathematics - Rings and Algebras, 03G15 68P15 03B10 03E20 03A05 08A40 08A70 03B70 03-03
URL الوصول: http://arxiv.org/abs/2406.14094
-
6تقرير
المؤلفون: Guzmán-Pro, Santiago
مصطلحات موضوعية: Computer Science - Discrete Mathematics, Mathematics - Combinatorics, Mathematics - Logic, 05C15, 03B70, 05C63, F.4.2, G.2.2
URL الوصول: http://arxiv.org/abs/2406.13529
-
7تقرير
المؤلفون: Platzer, André
مصطلحات موضوعية: Computer Science - Artificial Intelligence, 68T01, 68T05, 68T07, 68T27, 68T30, 03B70, I.2.0, I.2.3, I.2.4, I.2.6, I.2.8
URL الوصول: http://arxiv.org/abs/2406.11563
-
8تقرير
-
9تقرير
المؤلفون: Kavvos, G. A.
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D05, 06D50, 18A15, 18A40, 18F20, 18D60, 18C10 (Secondary), F.4.1, F.3.2
URL الوصول: http://arxiv.org/abs/2406.03578
-
10تقرير
المؤلفون: Jung, Jean Christoph, Kołodziejski, Jędrzej
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70
URL الوصول: http://arxiv.org/abs/2406.01497