- -

Listar por autor "Yamada, Akihisa"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Yamada, Akihisa"

Ordenar por:Orden:Resultados:

  • thumb
    Reducing relative termination to dependency pair problems 
    Iborra, José; Nishida, Naoki; Vidal Oriola, Germán Francisco; Yamada, Akihisa (Springer, 2015-07-25)
    Relative termination, a generalized notion of termination, has been used in a number of different contexts like proving the confluence of rewrite systems or analyzing the termination of narrowing. In this paper, we introduce ...
  • thumb
    Relative Termination via Dependency Pairs 
    Iborra, José; Nishida, Naoki; Vidal Oriola, Germán; Yamada, Akihisa (Springer-Verlag, 2017)
    [EN] A term rewrite system is terminating when no infinite reduction sequences are possible. Relative termination generalizes termination by permitting infinite reductions as long as some distinguished rules are not applied ...