Now showing items 1-2 of 2

    • New trends on the numerical representability of semiordered structures 

      Abrísqueta Usaola, Francisco Javier Upna; Campión Arrastia, María Jesús Upna; García Catalán, Olga Raquel Upna; Miguel Velasco, Juan Ramón de Upna; Estevan Muguerza, Asier Upna; Induráin Eraso, Esteban Upna; Zudaire Sarobe, Margarita Upna; Agud, L.; Candeal, Juan Carlos; Díaz, S.; Martinetti, D.; Montes, S.; Gutiérrez García, J. (EUSFLAT, 2012)   Artículo / Artikulua  OpenAccess
      We introduce a survey, including the historical background, on di erent techniques that have recently been issued in the search for a characterization of the representability of semiordered structures, in the sense of ...
    • On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms 

      Estevan Muguerza, Asier Upna; Miñana, Juan José; Valero, Óscar (Springer, 2019)   Artículo / Artikulua
      The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be ...