Skip to Main content Skip to Navigation
Journal articles

Majors of functions

Miguel Couceiro 1 Erkko Lehtonen 2
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
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.
Document type :
Journal articles
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Miguel Couceiro Connect in order to contact the contributor
Submitted on : Sunday, May 7, 2017 - 12:27:42 AM
Last modification on : Saturday, October 16, 2021 - 11:26:08 AM
Long-term archiving on: : Tuesday, August 8, 2017 - 12:16:23 PM


Files produced by the author(s)




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



Record views


Files downloads