RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Conditional rewriting"

Mostrando ítems 1-3 de 3

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 ...
Local confluence of conditional and generalized term rewriting systems

Lucas Alba, Salvador (Elsevier, 2024-01)

[EN] Reduction-based systems are used as a basis for the implementation of programming languages, automated reasoning systems, mathematical analysis tools, etc. In such inherently non deterministic systems, guaranteeing ...
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) ...

Mostrando ítems 1-3 de 3