La struttura delle relazioni «molto maggiore» e «molto minore» nel calcolo approssimato
Page 1 Next
R. Spigler (1980)
Rendiconti del Seminario Matematico della Università di Padova
Jarmila Hedlíková, Tibor Katriňák (1996)
Mathematica Slovaca
Ladislav Beran (1971)
Acta Universitatis Carolinae. Mathematica et Physica
Felsner, Stefan (2004)
The Electronic Journal of Combinatorics [electronic only]
Lascoux, Alain, Schützenberger, Marcel-Paul (1996)
The Electronic Journal of Combinatorics [electronic only]
Ivan Chajda (2003)
Commentationes Mathematicae Universitatis Carolinae
We study -semilattices and lattices with the greatest element 1 where every interval [p,1] is a lattice with an antitone involution. We characterize these semilattices by means of an induced binary operation, the so called sectionally antitone involution. This characterization is done by means of identities, thus the classes of these semilattices or lattices form varieties. The congruence properties of these varieties are investigated.
Rudolf Wille, Ivan Rival (1979)
Journal für die reine und angewandte Mathematik
Ivan Chajda (1992)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Teo Sturm (1979)
Czechoslovak Mathematical Journal
Josef Dalík (1980)
Archivum Mathematicum
Ivan Chajda, Alexander G. Pinus, A. Denisov (1999)
Czechoslovak Mathematical Journal
Weng Kin Ho, Dong Sheng Zhao (2009)
Commentationes Mathematicae Universitatis Carolinae
A dcpo is continuous if and only if the lattice of all Scott-closed subsets of is completely distributive. However, in the case where is a non-continuous dcpo, little is known about the order structure of . In this paper, we study the order-theoretic properties of for general dcpo’s . The main results are: (i) every is C-continuous; (ii) a complete lattice is isomorphic to for a complete semilattice if and only if is weak-stably C-algebraic; (iii) for any two complete semilattices...
Claude Le Conte de Poly-Barbut (1990)
Mathématiques et Sciences Humaines
Deux codages sont utilisés sur l’ensemble des permutations ou ordres totaux sur un ensemble fini à éléments et à chacun de ces codages est associé un produit direct d’ordres totaux. On démontre que le diagramme du treillis permutoèdre (ou ordre de Bruhat faible sur le groupe symétrique ) est intersection des diagrammes des deux produits directs de ordres totaux à éléments.
Frédéric Chapoton (2008)
Annales de l’institut Fourier
La structure d’opérade anticyclique de l’opérade dendriforme donne en particulier une matrice d’ordre agissant sur l’espace engendré par les arbres binaires plans à feuilles. On calcule le polynôme caractéristique de cette matrice. On propose aussi une conjecture compatible pour le polynôme caractéristique de la transformation de Coxeter du poset de Tamari, qui est essentiellement une racine carrée de cette matrice.
Thomas Bowman (1975)
Czechoslovak Mathematical Journal
Pouzet, Maurice (1976)
Portugaliae mathematica
Mihail Benado (1955)
Czechoslovak Mathematical Journal
G. Kreweras (1976)
Mathématiques et Sciences Humaines
Marie-Catherine Daniel-Vatonne, Colin de la Higuera (1993)
Mathématiques et Sciences Humaines
Nos travaux se situent dans le cadre de l'analyse conceptuelle des données. Notre objectif est de généraliser les représentations par variables binaires ou nominales en y adjoignant la modélisation de structures internes. Le problème est de ne pas perdre en complexité algorithmique ce qui est gagné en puissance de représentation. Selon ces considérations, décrire les données et des classes de données par des structures arborescentes semble un bon compromis. Le système de représentation que nous...
J. P. Olivier (1982)
Mathématiques et Sciences Humaines
Page 1 Next