The following pages link to Igor V. Savitskiy (Q1744354):
Displaying 7 items.
- (Q679980) (redirect page) (← links)
- Register machines with counters (Q679981) (← links)
- Computations on register machines with counters (Q1744355) (← links)
- Computations on counter machines with summator (Q1789205) (← links)
- Arithmetization of register machines with counters (Q2212730) (← links)
- Eliminating inequalities in register machines with counters (Q2287403) (← links)
- On the coincidence of complexity classes BPC and \(\text{TC}^0 \) (Q6043894) (← links)
