- -

Listar por palabra clave "Confluencia"

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

Listar por palabra clave "Confluencia"

Ordenar por:Orden:Resultados:

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