-
1تقرير
المؤلفون: Warren, David S.
مصطلحات موضوعية: Computer Science - Programming Languages, 68N17 (Primary) 68N15 (Secondary), D.3.1, F.3.2
URL الوصول: http://arxiv.org/abs/2408.07652
-
2تقرير
المؤلفون: 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
-
3تقرير
المؤلفون: Kornell, Andre, Lindenhovius, Bert, Mislove, Michael
مصطلحات موضوعية: Mathematical Physics, Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Operator Algebras, Quantum Physics, 47L90, 47L05, 46L89, 18C50, 06B35, 18M05, 18M40, 68N15, 68Q55, 81P68, F.3.2
URL الوصول: http://arxiv.org/abs/2406.01816
-
4تقرير
المؤلفون: Sumitani, Rafael, Amorim, João Victor, Mafra, Augusto, Crepalde, Mirlaine, Pereira, Fernando Magno Quintão
مصطلحات موضوعية: Computer Science - Hardware Architecture, Computer Science - Programming Languages, 68N15, D.3
URL الوصول: http://arxiv.org/abs/2406.06550
-
5تقرير
المؤلفون: Zhang, Tesla, Isaev, Valery
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 03B38, 68N15, D.3.3
URL الوصول: http://arxiv.org/abs/2405.12994
-
6تقرير
المؤلفون: Hivert, Florent, Thiéry, Nicolas M.
المصدر: Order, 07/2022, pages 1-16
مصطلحات موضوعية: Mathematics - Combinatorics, 06A06, 68N15
URL الوصول: http://arxiv.org/abs/2401.12740
-
7تقرير
المؤلفون: Chen, Tianyu, Siek, Jeremy G.
مصطلحات موضوعية: Computer Science - Programming Languages, 68N15, D.3
URL الوصول: http://arxiv.org/abs/2312.02359
-
8تقرير
المؤلفون: Zhang, Tesla
مصطلحات موضوعية: Computer Science - Programming Languages, 03B38, 68N15, D.3.3
URL الوصول: http://arxiv.org/abs/2311.05658
-
9دورية أكاديمية
المؤلفون: Klinge, Titus H., Lathrop, James I.Aff1, IDs11047024099825_cor2, Osera, Peter-Michael, Rogers, Allison
المصدر: Natural Computing: An International Journal. :1-19
-
10تقرير
المؤلفون: Zhang, Tesla
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B38, 68N15, D.3.3
URL الوصول: http://arxiv.org/abs/2309.14187