( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
General Introduction.

, , и . EAIA, том 476 из Lecture Notes in Computer Science, стр. 1-3. Springer, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

C Moreira

Alberto Moreira

Alberto Moreira

Alberto Moreira

Alberto Moreira

 

Другие публикации лиц с тем же именем

Testing the Equivalence of Regular Languages., , и . Journal of Automata, Languages and Combinatorics, 15 (1/2): 7-25 (2010)Designing a Solver for Arithmetic Constraints to Support Education in Mathematics., , и . AIAI, том 204 из IFIP, стр. 433-441. Springer, (2006)Partial Derivative Automaton for Regular Expressions with Shuffle., , , и . DCFS, том 9118 из Lecture Notes in Computer Science, стр. 21-32. Springer, (2015)Partial Derivative Automata Formalized in Coq., , , и . CIAA, том 6482 из Lecture Notes in Computer Science, стр. 59-68. Springer, (2010)KAT and PHL in Coq., и . Comput. Sci. Inf. Syst., 5 (2): 137-160 (2008)The Computational Power of Parsing Expression Grammars., , и . DLT, том 11088 из Lecture Notes in Computer Science, стр. 491-502. Springer, (2018)General Introduction., , и . EAIA, том 476 из Lecture Notes in Computer Science, стр. 1-3. Springer, (1990)Deciding Kleene algebra terms equivalence in Coq., , и . J. Log. Algebraic Methods Program., 84 (3): 377-401 (2015)Partial Derivative Automaton by Compressing Regular Expressions., , , и . DCFS, том 13037 из Lecture Notes in Computer Science, стр. 100-112. Springer, (2021)Aspects of Enumeration and Generation with a String Automata Representation., , и . DCFS, стр. 58-69. New Mexico State University, Las Cruces, New Mexico, USA, (2006)