المؤلفون: Atkey, Robert, Kokke, Wen

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

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

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

المؤلفون: Daggitt, Matthew L., Kokke, Wen, Atkey, Robert, Slusarz, Natalia, Arnaboldi, Luca, Komendantskaya, Ekaterina

مصطلحات موضوعية: Computer Science - Artificial Intelligence

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

المؤلفون: Casadio, Marco, Komendantskaya, Ekaterina, Rieser, Verena, Daggitt, Matthew L., Kienitz, Daniel, Arnaboldi, Luca, Kokke, Wen

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

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

المؤلفون: Daggitt, Matthew L., Kokke, Wen, Atkey, Robert, Arnaboldi, Luca, Komendantskya, Ekaterina

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Programming Languages

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

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

المؤلفون: Casadio, Marco, Komendantskaya, Ekaterina, Daggitt, Matthew L., Kokke, Wen, Katz, Guy, Amir, Guy, Refaeli, Idan

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

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

المؤلفون: Kokke, Wen, Dardha, Ornela

مصطلحات موضوعية: Computer Science - Programming Languages

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

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