ICFP 2017 (series) / FSCD 2017 (series) / FSCD 2017 /
A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
Mon 4 Sep
16:40 - 17:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
17:10 - 17:40 Talk | Noam ZeilbergerUniversity of Birmingham, UK | |||||||||||||||||||||||||||||||||||||||||
17:40 - 18:10 Talk |
16:40 - 17:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
17:10 - 17:40 Talk | Noam ZeilbergerUniversity of Birmingham, UK | |||||||||||||||||||||||||||||||||||||||||
17:40 - 18:10 Talk |