טביעת אצבע
תחומי מחקר אלו נובעים מהפרסומים המדעיים של אדם זה. יחד הם יוצרים טביעת אצבע ייחודית.
- 1 פרופילים דומים
שיתופי פעולה ותחומי מחקר עיקריים בחמש השנים האחרונות
שיתוף פעולה עם חוקרים ממדינות/אזורים חיצוניים מהתקופה האחרונה. לפרטים, יש ללחוץ על הנקודות או
-
Upper and Lower Bounds for the Linear Ordering Principle
Hirsch, E. A. & Volkovich, I., 2026, 43rd International Symposium on Theoretical Aspects of Computer Science, STACS 2026. Mahajan, M., Manea, F., McIver , A. & Nguyen, K. (עורכים). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 52. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 364).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
-
Tropical Proof Systems: Between R(CP) and Resolution
Alekseev, Y., Grigoriev, D. & Hirsch, E. A., 24 פבר׳ 2025, 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025. Beyersdorff, O., Pilipczuk, M., Pimentel, E. & Thang, N. K. (עורכים). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 327).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
-
The power of the Binary Value Principle
Alekseev, Y. & Hirsch, E. A., 1 אוג׳ 2025, ב-: Annals of Pure and Applied Logic. 176, 9, 103614.פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית -
Proving Unsatisfiability with Hitting Formulas
Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., ינו׳ 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (עורך). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 287).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
2 ציטוטים (Scopus) -
SEMIALGEBRAIC PROOFS, IPS LOWER BOUNDS, AND THE \bfittau-CONJECTURE: CAN A NATURAL NUMBER BE NEGATIVE?
Alekseev, Y., Grigoriev, D., Hirsch, E. A. & Tzameret, I., 2024, ב-: SIAM Journal on Computing. 53, 3, עמוד 648-700 53 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
4 ציטוטים (Scopus)