| Publication | Formalization of the pumping lemma for context-free languages | Nelma Moreira | 0 | 8 years 11 months ago |
| Publication | Formalization of context-free language theory | Nelma Moreira | 0 | 8 years 11 months ago |
| Seminar | Poset cohomology, CW decompositions and the global dimension of left regular band algebras | Nelma Moreira | 0 | 8 years 11 months ago |
| Seminar | New bounds on Klarner's constant | Nelma Moreira | 0 | 8 years 11 months ago |
| Seminar | Analysis of proof search through typed lambda-calculi | Nelma Moreira | 0 | 8 years 11 months ago |
| Seminar | Aspects of Mathematical Handwriting Recognition | Nelma Moreira | 0 | 8 years 11 months ago |
| Conference | 7th Workshop on Non-Classical Models of Automata and Applications | Nelma Moreira | 0 | 8 years 11 months ago |
| Annual report | Nelma Moreira's Annual Report | Nelma Moreira | 0 | 9 years 9 months ago |
| Annual report | Nelma Moreira's Annual Report | Nelma Moreira | 0 | 9 years 9 months ago |
| Publication | Kleene Algebra Completeness | Nelma Moreira | 0 | 9 years 9 months ago |
| Publication | Derivative Based Methods for Deciding SKA and SKAT | Nelma Moreira | 0 | 9 years 9 months ago |
| Publication | Automata for KAT Expressions | Nelma Moreira | 0 | 9 years 9 months ago |
| Publication | On the Average Size of Glushkov and Equation Automata for KAT Expressions | Nelma Moreira | 0 | 9 years 9 months ago |
| Publication | The Distinguishability Operation on Regular Languages | Nelma Moreira | 0 | 9 years 10 months ago |
| Publication | Partial Derivative and Position Bisimilarity Automata | Nelma Moreira | 0 | 9 years 10 months ago |
| Publication | Counting Equivalent Linear Finite Transducers Using a Canonical Form | Nelma Moreira | 0 | 9 years 10 months ago |
| Publication | Statistical Study on The Number of Injective Linear Finite Transducers | Nelma Moreira | 0 | 9 years 10 months ago |
| Publication | Optimal State Reductions of Automata with Partially Specified Behaviors | Nelma Moreira | 0 | 9 years 10 months ago |
