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 This article was published on Sunday 8 December 2024
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 This article was published on Sunday 8 December 2024
