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 metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01519377
Contributor : Miguel Couceiro <>
Submitted on : Sunday, May 7, 2017 - 12:27:42 AM
Last modification on : Tuesday, September 24, 2019 - 5:18:47 PM
Long-term archiving on : Tuesday, August 8, 2017 - 12:16:23 PM

File

Majors-HAL.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

531

Files downloads

56