Not registered as user yet

Name: Stepan Kuznetsov

All Activities

• Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017