- -

Listar por palabra clave "Conditional rewriting"

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

Listar por palabra clave "Conditional rewriting"

Ordenar por:Orden:Resultados:

  • thumb
    Automatically Proving and Disproving Feasibility Conditions 
    Gutiérrez Gil, Raúl; Lucas Alba, Salvador (Springer Nature, 2020-07-06)
    [EN] In the realm of term rewriting, given terms s and t, a reachability condition s>>t is called feasible if there is a substitution O such that O(s) rewrites into O(t) in zero or more steps; otherwise, it is ...
  • thumb
    Use of logical models for proving infeasibility in term rewriting 
    Lucas Alba, Salvador; Gutiérrez Gil, Raúl (Elsevier, 2018)
    [EN] Given a (Conditional) Rewrite System R and terms s and t, we consider the following problem: is there a substitution a instantiating the variables in s and t such that the reachability test sigma(s) -> *(R) sigma(t) ...