-
1تقرير
المؤلفون: D'Angelo, Keri, Gurke, Sebastian, Kirss, Johanna Maria, König, Barbara, Najafi, Matina, Różowski, Wojciech, Wild, Paul
المصدر: Published at CONCUR 2024
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2404.19632