( en | de | ru )

 

Disambiguierung von "Moreira, Nelma"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partial Derivative Automaton by Compressing Regular Expressions.

, , , und . DCFS, Volume 13037 von Lecture Notes in Computer Science, Seite 100-112. Springer, (2021)

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

Jander 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)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)KAT and PHL in Coq., und . Comput. Sci. Inf. Syst., 5 (2): 137-160 (2008)Partial Derivative Automata Formalized in Coq., , , und . CIAA, Volume 6482 von Lecture Notes in Computer Science, Seite 59-68. Springer, (2010)General Introduction., , und . EAIA, Volume 476 von Lecture Notes in Computer Science, Seite 1-3. Springer, (1990)The Computational Power of Parsing Expression Grammars., , und . DLT, Volume 11088 von Lecture Notes in Computer Science, Seite 491-502. Springer, (2018)Partial Derivative Automaton for Regular Expressions with Shuffle., , , und . DCFS, Volume 9118 von Lecture Notes in Computer Science, Seite 21-32. Springer, (2015)Partial Derivative Automaton by Compressing Regular Expressions., , , und . DCFS, Volume 13037 von Lecture Notes in Computer Science, Seite 100-112. Springer, (2021)Aspects of Enumeration and Generation with a String Automata Representation., , und . DCFS, Seite 58-69. New Mexico State University, Las Cruces, New Mexico, USA, (2006)