3 citations to 10.1134/S1995080215040022 (Crossref Cited-By Service)
  1. Sergey Dudakov, “On Safety of Unary and Non-unary IFP-operators”, Model. anal. inf. sist., 25, № 5, 2018, 525  crossref
  2. V Sekorin, “On equivalence of PFP-operator and PFP-quantifier”, J. Phys.: Conf. Ser., 1902, № 1, 2021, 012085  crossref
  3. S. M. Dudakov, “On Safety of Unary and Nonunary IFP Operators”, Aut. Control Comp. Sci., 53, № 7, 2019, 683  crossref