Majors of functions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Order Year : 2018

Majors of functions

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

Miguel Couceiro, Erkko Lehtonen. Majors of functions. Order, 2018, 35 (2), pp.233-246. ⟨10.1007/s11083-017-9428-1⟩. ⟨hal-01519377⟩
443 View
103 Download

Altmetric

Share

Gmail Facebook X LinkedIn More