-
1تقرير
المؤلفون: Ken, Eitetsu
مصطلحات موضوعية: Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2406.17315
-
2تقرير
-
3تقرير
-
4دورية أكاديمية
المؤلفون: Ken, EitetsuAff1, IDs00153024009381_cor1
المصدر: Archive for Mathematical Logic. :1-42
-
5تقرير
المؤلفون: Ken, Eitetsu, Kuroda, Satoru
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2310.05982
-
6تقرير
المؤلفون: Ken, Eitetsu
مصطلحات موضوعية: Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2203.10237
-
7تقرير
-
8تقرير
المؤلفون: Bando, Katsuyuki, Ken, Eitetsu, Morikawa, Kota
مصطلحات موضوعية: Mathematics - Combinatorics
URL الوصول: http://arxiv.org/abs/2009.02876
-
9
المؤلفون: Ken, Eitetsu
المصدر: 数理解析研究所講究録. 2228:186-205
مصطلحات موضوعية: pigeonhole principle, uniform counting principle, V⁰, AC⁰-Frege system, Nullstellensatz proof system, oddtown theorem, bounded arithmetic, modular counting principle, general counting principle, Proof complexity, Ajtai's theorem, Fisher's inequality
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=jairo_______::47bfafb3274f8937463148bdd06cf175
http://hdl.handle.net/2433/279734 -
10