Keywords: محاسبه محدود; Integer factoring; Search problem; PPA; Quadratic residue; Bounded arithmetic
مقالات ISI محاسبه محدود (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: محاسبه محدود; Computability logic; Game semantics; Peano arithmetic; Constructive theories; Interactive computation; Bounded arithmetic; Implicit computational complexity
Keywords: محاسبه محدود; 03B70; 03D15; 03F20; 68Q17; Bounded arithmetic; Circuit lower bounds;
Alternating minima and maxima, Nash equilibria and Bounded Arithmetic
Keywords: محاسبه محدود; 68Q17; 03D15; 03F25; 03F30Proof complexity; Bounded arithmetic; Search problems; Finite games; Computational complexity; Equilibria
Independence results for variants of sharply bounded induction
Keywords: محاسبه محدود; 03F30; 03H15; Bounded arithmetic; Very weak arithmetic; Independence results; Sharply bounded formulas; Sharply bounded induction; Open induction;
Upper and lower Ramsey bounds in bounded arithmetic
Keywords: محاسبه محدود; 03F30; 05D10; 05D40; Bounded arithmetic; Ramsey theory; Probabilistic method;
Structures interpretable in models of bounded arithmetic
Keywords: محاسبه محدود; 03H15; 68Q17; 03F30; Bounded arithmetic; Arithmetic with a top; Weak pigeonhole principle;