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