Kuznetsov, Stepan

1. The Lambek calculus with iteration: two variants
   2017/05/20 by Kuznetsov, Stepan · 1 citation
   #FOS: Mathematics #Logic (math.LO)
2. Action Logic is Undecidable
   2019/12/24 by Kuznetsov, Stepan · 1 citation
   #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #I.2.3 #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. Language Models for Some Extensions of the Lambek Calculus
   2020/07/31 by Kanovich, Max, Kuznetsov, Stepan, Scedrov, Andre · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)