- -

Listar por palabra clave "Terms"

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

Listar por palabra clave "Terms"

Ordenar por:Orden:Resultados:

  • thumb
    A Modular Order-sorted Equational Generalization Algorithm 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Elsevier, 2014-04)
    Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...
  • thumb
    Corpus analysis: a pragmatic perspective on term variation 
    Candel-Mora, Miguel Ángel; Carrió Pastor, Mª Luisa (Asociación Española de Lingüística Aplicada (AESLA), 2012)
    [EN] An important issue with regard to terms in linguistics is the detection of term variation, which may be defined as the use of alternative names used for the same concept, i.e. synonymy. Its causes include the different ...
  • thumb
    Mapping the cultural interference of term variation 
    Carrió Pastor, Mª Luisa (Ediciones Universidad de Salamanca, 2015-06)
    [EN Communication in a specific setting should be carried out efficiently since language miscomprehension can prevent the message from reaching the audience adequately. More specifically, the correct use of particular ...
  • Icon
    Vocabulario constructivo. Su origen y evolución. 
    Bosch Ots, Rosa María (Universitat Politècnica de València, 2022-11-15)
    [ES] La figura del arquitecto se ha concebido como la de un profesional ampliamente formado en toda una serie de disciplinas, artes y ciencias, lo cual contribuye a que su conocimiento vaya más allá de la especialización ...