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

Marcus Vincius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, Jos Carlos Bacelar Almeida

Browse the full WoLLIC paper archive.