RiuNet UPV Home
:
Browsing by Subject

Search RiuNet

Browse

All of RiuNet

My Account

RiuNet Help

Admin. UPV

Browsing by Subject "Confluence"

Now showing items 1-5 of 5

CONFident: una herramienta para el análisis de la confluencia de sistemas de reescritura

Vítores Vicente, Miguel (Universitat Politècnica de València, 2022-04-29)

[ES] CONFident es una herramienta que demuestra la confluencia, una de las propiedades más importantes en el análisis de sistemas de reescritura. Para ello hace uso de algunas herramientas como infChecker o mu-term. Por ...
CONTRAPUNTO arquitectónico en las manzanas enfrentadas de Morvedre.

Aguado Vicaria, Susana (Universitat Politècnica de València, 2022-09-05)

[ES] La calle Sagunto. Una calle que demanda ser cursora de un gran flujo de individuos y de actividad, se encuentra coronada por dos manzanas con vocación de identidad. Éstas, inmersas en una trama desordenada y arraigadas ...
Desarrollo de una librería software para el análisis y validación de imágenes 2D/3D PET basado en el protocolo NEMA

Poves Carrasco, Pablo (Universitat Politècnica de València, 2022-01-05)

[ES] En este trabajo de fin de grado se detalla el diseño e implementación de una librería de análisis de imagen PET (Imagen por emisión de positrones) basada en el protocolo NEMA NU-4 2008, que permite evaluar la calidad ...
Term rewriting systems .net framework

Arnal Julián, Salvador (Universitat Politècnica de València, 2014-11-18)

[EN] This thesis presents the implementation of a framework to work with term rewriting systems. Term rewriting systems provide a complete computational model which is very close to functional programming. Its formulation ...
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) ...