- -

Listar por palabra clave "Unification and narrowing"

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

Listar por palabra clave "Unification and narrowing"

Ordenar por:Orden:Resultados:

  • thumb
    Programming and symbolic computation in Maude 
    Durán, Francisco; Eker, Steven; Escobar Román, Santiago; NARCISO MARTÍ OLIET; José Meseguer; Rubén Rubio; Talcott, Carolyn (Elsevier, 2020-01)
    [EN] Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs ...