Majors of functions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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⟩
444 Consultations
106 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More