-
1تقرير
-
2تقرير
المؤلفون: Khaniki, Erfan
مصطلحات موضوعية: Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2006.11910
-
3تقرير
-
4تقرير
-
5دورية أكاديمية
المؤلفون: Khaniki, Erfan
المصدر: In Advances in Mathematics 5 March 2022 397
-
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9
المؤلفون: Khaniki, Erfan
مصطلحات موضوعية: Bounded arithmetic, Theory of computation → Proof complexity, Proof complexity, Lower bounds, Theory of computation → Complexity theory and logic, Bounded depth Frege, Nisan-Wigderson generators, Meta-complexity
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::02a580892110336b9c58365e1a42421d
-
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.