Nelma Moreira

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

Pages