يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '"Arteche, Noel"', وقت الاستعلام: 0.79s تنقيح النتائج
  1. 1
    تقرير
    From Proof Complexity to Circuit Complexity via Interactive Protocols

    المؤلفون: Arteche, Noel, Khaniki, Erfan, Pich, Ján, Santhanam, Rahul

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

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

    أضف إلى المفضلة
  2. 2
    تقرير
    Quantum Automating $\mathbf{TC}^0$-Frege Is LWE-Hard

    المؤلفون: Arteche, Noel, Carenini, Gaia, Gray, Matthew

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

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

    أضف إلى المفضلة
  3. 3
    تقرير
    On the Complexity of Realizability for Safety LTL and Related Subfragments

    المؤلفون: Arteche, Noel, Hermo, Montserrat

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, F.4.1

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

    أضف إلى المفضلة
  4. 4
    دورية
    Dialogue.

    المؤلفون: Baldwin, James, Robinson, Nick, Bulbeck, Ben, Arteche, Noel

    المصدر: Edge; Nov2016, Issue 298, p28-29, 2p, 2 Color Photographs

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء