Nelma Moreira

TypeTitleAuthorRepliesLast updated
PublicationFormalization of the pumping lemma for context-free languages Nelma Moreira06 years 10 months ago
PublicationFormalization of context-free language theory Nelma Moreira06 years 10 months ago
SeminarPoset cohomology, CW decompositions and the global dimension of left regular band algebras Nelma Moreira06 years 10 months ago
Seminar New bounds on Klarner's constant Nelma Moreira06 years 10 months ago
SeminarAnalysis of proof search through typed lambda-calculi Nelma Moreira06 years 10 months ago
SeminarAspects of Mathematical Handwriting Recognition Nelma Moreira06 years 10 months ago
Conference7th Workshop on Non-Classical Models of Automata and Applications Nelma Moreira06 years 10 months ago
Annual reportNelma Moreira's Annual Report Nelma Moreira07 years 8 months ago
Annual reportNelma Moreira's Annual Report Nelma Moreira07 years 9 months ago
PublicationKleene Algebra Completeness Nelma Moreira07 years 9 months ago
PublicationDerivative Based Methods for Deciding SKA and SKAT Nelma Moreira07 years 9 months ago
PublicationAutomata for KAT Expressions Nelma Moreira07 years 9 months ago
PublicationOn the Average Size of Glushkov and Equation Automata for KAT Expressions Nelma Moreira07 years 9 months ago
PublicationThe Distinguishability Operation on Regular Languages Nelma Moreira07 years 9 months ago
PublicationPartial Derivative and Position Bisimilarity Automata Nelma Moreira07 years 9 months ago
PublicationCounting Equivalent Linear Finite Transducers Using a Canonical Form Nelma Moreira07 years 9 months ago
PublicationStatistical Study on The Number of Injective Linear Finite Transducers Nelma Moreira07 years 9 months ago
PublicationOptimal State Reductions of Automata with Partially Specified Behaviors Nelma Moreira07 years 9 months ago

Pages