Formalization of the Pumping Lemma for Context-Free Languages Artigo Académico

Visão geral
Pesquisas
Identidade
Informação adicional documento
Ver Todos

autores

Moreira, N.
Almeida, JoseCarlosBacelar

data de publicação

janeiro 1, 2016

publicada em

Journal of Formalized Reasoning Revista