Majors of functions - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Order Année : 2018

Majors of functions

Résumé

We investigate the minor order of functions, focusing on upper covers and common upper bounds of pairs of functions. We show that two functions of arities m and n have a common upper bound if and only if they have a common lower bound, and if a common upper bound exists, then there is one of arity m + n − 1. Moreover, we determine the possible essential arities of upper covers of functions.
Fichier principal
Vignette du fichier
Majors-HAL.pdf (126.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01519377 , version 1 (07-05-2017)

Identifiants

Citer

Miguel Couceiro, Erkko Lehtonen. Majors of functions. Order, 2018, 35 (2), pp.233-246. ⟨10.1007/s11083-017-9428-1⟩. ⟨hal-01519377⟩
450 Consultations
118 Téléchargements

Altmetric

Partager

More