تفاصيل العنوان
Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Bounded arithmetic
Subjects: Mathematical logic; Bounded arithmetic; Proof complexity
Subjects: Algebra; Bounded arithmetic; Logic
Subjects: Discrete mathematics; Bounded arithmetic; Relation (database)
Subjects: Discrete mathematics; General Computer Science; Computational complexity theory
Subjects: Bounded applicative theories; Polynomial; Computational complexity theory
Subjects: Combinational logic; Digital electronics; Adder
Subjects: Discrete mathematics; Bounded arithmetic; Exponentiation