FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
ICFP 2017 (series) / FSCD 2017 (series) / FSCD 2017 /

A polynomial-time algorithm for the Lambek calculus with brackets of bounded order

Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov
FSCD 2017
Mon 4 Sep 2017 16:40 - 17:10 at L2 - Session 4
small-avatar
Max KanovichAuthor
small-avatar
Stepan KuznetsovAuthor
small-avatar
Glyn MorrillAuthor
small-avatar
Andre ScedrovAuthor

Mon 4 Sep

fscd-2017
16:40 - 18:10: FSCD 2017 - Session 4 at L2
fscd-201716:40 - 17:10
Talk
Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov
fscd-201717:10 - 17:40
Talk
Noam ZeilbergerUniversity of Birmingham, UK
fscd-201717:40 - 18:10
Talk
Lutz Strassburger