- -

Listar por palabra clave "Deduction"

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

Listar por palabra clave "Deduction"

Ordenar por:Orden:Resultados:

  • thumb
    A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms 
    Alpuente Frasnedo, María; Cuenca-Ortega, Angel Eduardo; Escobar Román, Santiago; Meseguer, José (Elsevier, 2020-01)
    [EN] Partial evaluation is a powerful and general program optimization technique with many successful applications. Existing PE schemes do not apply to expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ...
  • thumb
    Políticas de I+D+i y Competividad 
    Gisbert Soler, Víctor; Pérez Bernabeu, Elena; Cebrián Aznar, Ignacio (Area de Innovación y Desarrollo S.L, 2012)
    Este artículo trata de la importancia del establecimiento de políticas de I+D+i en las pymes como estrategia de desarrollo, de la estructuración del proceso de I+D+i frente al concepto de la ¿innovación espontánea¿. Trata ...