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.
Type de document :
Article dans une revue
Order, Springer Verlag, 2017, pp.14
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01519377
Contributeur : Miguel Couceiro <>
Soumis le : dimanche 7 mai 2017 - 00:27:42
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24
Document(s) archivé(s) le : mardi 8 août 2017 - 12:16:23

Fichier

Majors-HAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01519377, version 1

Collections

Citation

Miguel Couceiro, Erkko Lehtonen. Majors of functions. Order, Springer Verlag, 2017, pp.14. 〈hal-01519377〉

Partager

Métriques

Consultations de la notice

137

Téléchargements de fichiers

24