Lab Lunch: 9 April 2019 - Colin Stirling Title: Equivalence of Pushdown Automata Abstract: A talk prompted by a recent result (accepted last week for LICS 2019) by Jancar and Schmitz. Informal talk with some background and history. Apr 09 2019 13.00 - 14.00 Lab Lunch: 9 April 2019 - Colin Stirling Speaker: Colin Stirling MF2 level 4
Lab Lunch: 9 April 2019 - Colin Stirling Title: Equivalence of Pushdown Automata Abstract: A talk prompted by a recent result (accepted last week for LICS 2019) by Jancar and Schmitz. Informal talk with some background and history. Apr 09 2019 13.00 - 14.00 Lab Lunch: 9 April 2019 - Colin Stirling Speaker: Colin Stirling MF2 level 4
