1 citations to https://www.mathnet.ru/eng/semr1410
  1. S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi