publicações selecionadas
-
artigo académico
- Formalization of the Pumping Lemma for Context-Free Languages. Journal of Formalized Reasoning. 2016
- Partial derivative automata formalized in coq. International Journal on Software Tools for Technology Transfer. 2011
-
artigo de conferência
- Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. Electronic Notes in Theoretical Computer Science. 2019
- On the Formalization of Some Results of Context-Free Language Theory. International Journal on Software Tools for Technology Transfer. 2016
-
documento