RUS  ENG
Full version
PEOPLE

Dolotova O A

Publications in Math-Net.Ru

  1. Minimal verifying tests of functions from the Post classes

    Diskr. Mat., 5:2 (1993),  75–82
  2. On the complexity of minimal control tests for Post classes

    Dokl. Akad. Nauk, 324:4 (1992),  730–733

© Steklov Math. Inst. of RAS, 2024