Ordre partiel complet
Sign in to saveterm used in mathematical order theory
Article · Français
Il existe plusieurs notions non équivalentes d'ordre partiel complet (complete partial order ou CPO). La notion de CPO est utilisée pour résoudre les équations aux domaines, notamment quand on cherche une sémantique dénotationnelle pour un langage en informatique.
Abstract from DBpedia / Wikipedia · CC BY-SA