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