- -

Listar por palabra clave "Term Rewriting Systems;Confluence"

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

Listar por palabra clave "Term Rewriting Systems;Confluence"

Ordenar por:Orden:Resultados:

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