- -

Listar por palabra clave "Formal reasoning"

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

Listar por palabra clave "Formal reasoning"

Ordenar por:Orden:Resultados:

  • Icon
    Completeness of Context-Sensitive Rewriting 
    Lucas Alba, Salvador (Elsevier, 2015-02)
    Restrictions of rewriting may turn normal forms of some terms unreachable, leading to incomplete computations. Context-sensitive rewriting (csr) is the restriction of rewriting that only permits reductions on arguments ...
  • thumb
    On the formal foundations of cash management systems 
    Salas-Molina, Francisco; Rodriguez-Aguilar, Juan A; Pla Santamaría, David; Garcia-Bernabeu, Ana (Springer-Verlag, 2021-06)
    [EN] Cash management aims to find a balance between what is held in cash and what is allocated in other investments in exchange for a given return. Dealing with cash management systems with multiple accounts and different ...