المؤلفون: Warren, David S.

مصطلحات موضوعية: Computer Science - Programming Languages, 68N17 (Primary) 68N15 (Secondary), D.3.1, F.3.2

URL الوصول: http://arxiv.org/abs/2408.07652

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: Hivert, Florent, Thiéry, Nicolas M.

المصدر: Order, 07/2022, pages 1-16

مصطلحات موضوعية: Mathematics - Combinatorics, 06A06, 68N15

URL الوصول: http://arxiv.org/abs/2401.12740

المؤلفون: Chen, Tianyu, Siek, Jeremy G.

مصطلحات موضوعية: Computer Science - Programming Languages, 68N15, D.3

URL الوصول: http://arxiv.org/abs/2312.02359

المؤلفون: Zhang, Tesla

مصطلحات موضوعية: Computer Science - Programming Languages, 03B38, 68N15, D.3.3

URL الوصول: http://arxiv.org/abs/2311.05658

المؤلفون: Klinge, Titus H., Lathrop, James I.^{Aff1, IDs11047024099825_cor2}, Osera, Peter-Michael, Rogers, Allison

المصدر: Natural Computing: An International Journal. :1-19

المؤلفون: Zhang, Tesla

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B38, 68N15, D.3.3

URL الوصول: http://arxiv.org/abs/2309.14187