Algebraic proof systems over formulas

Dima Grigoriev, Edward A. Hirsch

פרסום מחקרי: פרסום בכתב עתמאמר מכנסביקורת עמיתים

28 ציטוטים ‏(Scopus)

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Algebraic proof systems over formulas'. יחד הם יוצרים טביעת אצבע ייחודית.

Keyphrases

Computer Science