Mechanisation of PDA and Grammar Equivalence for Context-Free Languages.

Aditi Barthwal, Michael Norrish

Browse the full WoLLIC paper archive.