-
1تقرير
المؤلفون: Atkey, Robert, Kokke, Wen
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2404.06233
-
2تقرير
المؤلفون: Wu, Haoze, Isac, Omri, Zeljić, Aleksandar, Tagomori, Teruhiro, Daggitt, Matthew, Kokke, Wen, Refaeli, Idan, Amir, Guy, Julian, Kyle, Bassan, Shahaf, Huang, Pei, Lahav, Ori, Wu, Min, Zhang, Min, Komendantskaya, Ekaterina, Katz, Guy, Barrett, Clark
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2401.14461
-
3تقرير
المؤلفون: Daggitt, Matthew L., Kokke, Wen, Atkey, Robert
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2402.01353
-
4تقرير
المؤلفون: Daggitt, Matthew L., Kokke, Wen, Atkey, Robert, Slusarz, Natalia, Arnaboldi, Luca, Komendantskaya, Ekaterina
مصطلحات موضوعية: Computer Science - Artificial Intelligence
URL الوصول: http://arxiv.org/abs/2401.06379
-
5تقرير
-
6تقرير
-
7تقرير
المؤلفون: Fowler, Simon, Kokke, Wen, Dardha, Ornela, Lindley, Sam, Morris, J. Garrett
المصدر: Logical Methods in Computer Science, Volume 19, Issue 3 (July 12, 2023) lmcs:9361
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/2105.08996
-
8تقرير
المؤلفون: Casadio, Marco, Komendantskaya, Ekaterina, Daggitt, Matthew L., Kokke, Wen, Katz, Guy, Amir, Guy, Refaeli, Idan
URL الوصول: http://arxiv.org/abs/2104.01396
-
9تقرير
المؤلفون: Kokke, Wen, Dardha, Ornela
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/2103.14481
-
10تقرير
المؤلفون: Kokke, Wen, Dardha, Ornela
المصدر: Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:8867
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/2103.14466