- -

Listar por palabra clave "Dependency graph"

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

Listar por palabra clave "Dependency graph"

Ordenar por:Orden:Resultados:

  • 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) ...