BibTeX Export

@inproceedings{Authenticus:P-00K-Q6M,
	title = {{On the Formalization of Some Results of Context-Free Language Theory}},
	author = {MVM Midena Ramos and RJGB de Queiroz and N Moreira and JCB Bacelar Almeida},
	booktitle = {Logic, Language, Information, and Computation},
	doi = {10.1007/978-3-662-52921-8_21},
	pages = {338-357},
	publisher = {Springer-verlag Berlin},
	type = {Proceedings Paper},
	volume = {9803},
	year = {2016}
}