The following pages link to (Q5585368):
Displayed 7 items.
- Lower bound results on lengths of second-order formulas (Q1071760) (← links)
- Size-depth tradeoff in non-monotone Boolean formulae (Q1132635) (← links)
- Lower bounds for the size of expressions for certain functions in d-ary logic (Q1230507) (← links)
- The circuit depth of symmetric Boolean functions (Q1251213) (← links)
- Complexity of Subcases of Presburger Arithmetic (Q3340842) (← links)
- Parallelizable algebras (Q3773330) (← links)
- ON THE MEANING OF WORKS BY V. M. KHRAPCHENKO (Q5151450) (← links)