Sorokin Alexey Andreevich

Presentations in Math-Net.Ru

1. Conjoinability relation in discontinuous Lambek calculus
   A. A. Sorokin
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   March 25, 2014 18:30
2. The length of the join type in the Lambek calculus
   A. A. Sorokin
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   December 18, 2012 18:30