RUS  ENG
Full version
SEMINARS

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 27, 2012 18:30, Moscow, Steklov Mathematical Institute


Free monoid powerset models for two extensions of Lambek calculus

S. Kuznetsov


© Steklov Math. Inst. of RAS, 2026