Showing 1 - 4 results of 4 for search 'Nelma Moreira', query time: 0.02s Refine Results
  1. 1
    State Elimination Ordering Strategies: Some Experimental Results

    State Elimination Ordering Strategies: Some Experimental Results by Nelma Moreira, Davide Nabais, Rogério Reis

    Published 2010-08-01
    Get full text
    Article
  2. 2
    Testing the Equivalence of Regular Languages

    Testing the Equivalence of Regular Languages by Marco Almeida, Nelma Moreira, Rogério Reis

    Published 2009-07-01
    Get full text
    Article
  3. 3
    Deciding KAT and Hoare Logic with Derivatives

    Deciding KAT and Hoare Logic with Derivatives by Ricardo Almeida, Sabine Broda, Nelma Moreira

    Published 2012-10-01
    Get full text
    Article
  4. 4
    Formalization of the pumping lemma for context-free languages

    Formalization of the pumping lemma for context-free languages by Marcus V M Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz

    Published 2016-12-01
    Get full text
    Article

Search Tools: