- -

Listar por Entidad UPV "Instituto Valenciano de Investigación en Inteligencia Artificial (VRAIN)"

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

Listar por Entidad UPV "Instituto Valenciano de Investigación en Inteligencia Artificial (VRAIN)"

Ordenar por:Orden:Resultados:

  • thumb
    Narrowing-based Optimization of Rewrite Theories 
    Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2020-06-08)
    Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as ...