( en | de | ru )

 

Disambiguierung von "Moreira, Nelma"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Incremental DFA minimisation.

, , und . RAIRO Theor. Informatics Appl., 48 (2): 173-186 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

C Moreira

Alberto Moreira

Alberto Moreira

Alberto Moreira

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding Kleene algebra terms equivalence in Coq., , und . J. Log. Algebraic Methods Program., 84 (3): 377-401 (2015)Formalization of the pumping lemma for context-free languages., , , und . CoRR, (2015)The Computational Power of Parsing Expression Grammars., , und . DLT, Volume 11088 von Lecture Notes in Computer Science, Seite 491-502. Springer, (2018)General Introduction., , und . EAIA, Volume 476 von Lecture Notes in Computer Science, Seite 1-3. Springer, (1990)Incremental DFA minimisation., , und . RAIRO Theor. Informatics Appl., 48 (2): 173-186 (2014)Testing the Equivalence of Regular Languages., , und . Journal of Automata, Languages and Combinatorics, 15 (1/2): 7-25 (2010)Designing a Solver for Arithmetic Constraints to Support Education in Mathematics., , und . AIAI, Volume 204 von IFIP, Seite 433-441. Springer, (2006)Partial Derivative Automata Formalized in Coq., , , und . CIAA, Volume 6482 von Lecture Notes in Computer Science, Seite 59-68. Springer, (2010)KAT and PHL in Coq., und . Comput. Sci. Inf. Syst., 5 (2): 137-160 (2008)Partial Derivative Automaton by Compressing Regular Expressions., , , und . DCFS, Volume 13037 von Lecture Notes in Computer Science, Seite 100-112. Springer, (2021)