Ramos, 2016 - Formalization of context-free language theory
Ramos, Marcus Vinícius Midena. Formalization of context-free language theory. Tese de Doutorado, Centro de Informática, Universidade Federal de Pernambuco. Recife, 2016.
Ramos, 2016 - Formalization of context-free language theory.pdf — PDF document, 4744 kB (4858855 bytes)