Mechanisation of PDA and Grammar Equivalence for Context-Free Languages
Citation
Barthwal, A & Norrish, M 2010, 'Mechanisation of PDA and Grammar Equivalence for Context-Free Languages', Workshop on Logic, Language, Information and Computation (WoLLIC 2010), ed. Anuj Dawar, Springer, Berlin, p. 10.Year
2010ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified