Authenticus:P-00K-Q6M | CMUP

On the Formalization of Some Results of Context-Free Language Theory

Logic, Language, Information, and Computation | 2016 | inproceedings

Publication

Year of publication: 2016

Volume : 9803

Pages : 338-357

Month :

CMUP publication : Yes

Authors

JCB Bacelar Almeida

MVM Midena Ramos

RJGB de Queiroz