Exploració per tema "Completion"

Ara es mostren els items 1-1 de 1

    • Nominal completion for rewrite systems with binders 

      Fernández, Maribel; Rubio Gimeno, Alberto (Springer, 2012)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      We design a completion procedure for nominal rewriting systems, based on a generalisation of the recursive path ordering to take into account alpha equivalence. Nominal rewriting generalises first-order rewriting by providing ...