BibTeX Export

@inproceedings{Authenticus:P-00R-0SH,
	title = {{Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages}},
	author = {MVM Ramos and JCB Bacelar Almeida and N Moreira and RJGB de Queiroz},
	booktitle = {Electronic Notes in Theoretical Computer Science},
	doi = {10.1016/j.entcs.2019.07.010},
	pages = {151-167},
	publisher = {Elsevier},
	type = {Proceedings Paper},
	volume = {344},
	year = {2019}
}