صورة الغلاف

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Büttner, Robert, Dießl, Fabian Franz, Janoschek, Patrick, Kostadinovic, Ivana, Oback, Henrik, Voß, Kilian, Alber, Franziska, Herrmann, Roland, Möhle, Sibylle, Rümmer, Philipp
التنسيق: Preprint
منشور في: 2025
الموضوعات:
Logic in Computer Science
F.3.1; D.2.4
الوصول للمادة أونلاين:https://arxiv.org/abs/2512.21084
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الانترنت

https://arxiv.org/abs/2512.21084

مواد مشابهة