Tolerance numbers, congruence -permutability and BCK-algebras
Tolerances on -lattices
Transitive closures of binary relations. I.
Transitive closures of binary relations II.
Transitive closures of binary relations. IV.
Ueber ein Princip der Zuordnung algebraischer Formen.
Upper and Lower Bounds in Relator Spaces
2000 Mathematics Subject Classification: 06A06, 54E15An ordered pair X(R) = ( X, R ) consisting of a nonvoid set X and a nonvoid family R of binary relations on X is called a relator space. Relator spaces are straightforward generalizations not only of uniform spaces, but also of ordered sets. Therefore, in a relator space we can naturally define not only some topological notions, but also some order theoretic ones. It turns out that these two, apparently quite different, types of notions are closely...
Z specification of object oriented constraint programs.
Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of difficulty. No universally accepted formal language exists for communicating about OOCPs, which makes...
Zur Theorie der zusammengesetzten Gruppen.
-ideals in the lattice of semi -ideals
Автоморфизмы алгебры с одной монарной операцией в сигнатуре
Класс сведения
Мультиоператорные группы как универсальные алгебры с единственной операцией, подчиненной единственному тождеству
О позиционных алгебрах
О покрытии классами перестановочных эквивалентностей
О редуктах алгебр отношений Тарского.
Об элементарных теориях свободных нильпотентных алгебр