Exploració per tema "Decision problems"

Ara es mostren els items 1-1 de 1

    • Emptiness and finiteness for tree automata with global reflexive disequality constraints 

      Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem (2013-12-01)
      Article
      Accés restringit per política de l'editorial
      In recent years, several extensions of tree automata have been considered. Most of them are related with the capability of testing equality or disequality of certain subterms of the term evaluated by the automaton. In ...