1 citations to https://www.mathnet.ru/rus/semr1410
  1. С. Л. Кузнецов, “Алгоритмическая сложность теорий коммутативных алгебр Клини”, Изв. РАН. Сер. матем., 88:2 (2024), 44–79  mathnet  crossref  mathscinet  zmath  adsnasa; S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269  crossref  isi