- -

Listar por palabra clave "Unification"

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

Listar por palabra clave "Unification"

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 ...
  • Icon
    Análisis y prospectiva del turismo en la zona desmilitarizada de Corea 
    Fernández García, María del Mar (Universitat Politècnica de València, 2013-12-19)
    A lo largo de estas páginas se pretende analizar e investigar el turismo que recibe la Frontera Desmilitarizada de Corea. Se expondrán los acontecimientos que causaron la separación entre las dos Coreas, la situación actual ...
  • thumb
    Narrowing and Unification in the Maude Programming Language 
    López Rueda, Raúl (Universitat Politècnica de València, 2021-10-06)
    [ES] Los protocolos de seguridad en las comunicaciones evolucionan cada día buscando mejoras y corrección de errores, muchos de los cuales pueden llevar a vulnerabilidades con consecuencias fatales. Por ello, se vuelve de ...
  • thumb
    On resolutions of linearly ordered spaces 
    Caserta, Agata; Giarlotta, Alfio; Watson, Stephen (Universitat Politècnica de València, 2006-10-01)
    [EN] We define an extended notion of resolution of topologicalspaces, where the resolving maps are partial instead of total. To showthe usefulness of this notion, we give some examples and list severalproperties of resolutions ...
  • thumb
    On φ 1,2-countable compactness and filters 
    Yalvaç, T.H. (Universitat Politècnica de València, 2003-04-01)
    [EN] In this work the author investigates some relations between φ 1,2-countable compactness, filters, sequences and φ 1,2-closure operators.
  • thumb
    Selective Unification in (Constraint) Logic Programming 
    Mesnard, Fred; Payet, Etienne; Vidal, Germán (IOS Press, 2020)
    [EN] Concolic testing is a well-known validation technique for imperative and object oriented programs. In a previous paper, we have introduced an adaptation of this technique to logic programming. At the heart of our ...
  • thumb
    Theoretically Motivated Dark Electromagnetism as the Origin of Relativistic Modified Newtonian Dynamics 
    Finster, Felix; Isidro, J.M.; Paganini, Claudio F.; Singh, Tajinder P. (MDPI AG, 2024-03)
    [EN] The present paper is a modest attempt to initiate the research program outlined in this abstract. We propose that general relativity and relativistic MOND (RelMOND) are analogues of broken electroweak symmetry. That ...