On the Formalization of Some Results of Context-Free Language Theory Artigo de Conferência uri icon

autores

  • José Carlos Bacelar Almeida
  • Midena Ramos, MVM
  • de Queiroz, RJGB
  • Moreira, N
  • Almeida, José Bacelar
  • Bacelar Almeida, JCB

data de publicação

  • janeiro 1, 2016