The unified theory presented here covers all matrix partial orders.

给出的一致刻划覆盖了所有的矩阵偏序.

互联网

The agent's planning forms a partial ordered plan tree using HTN method.

主体规划使用HTN方法,形成偏序规划树.

互联网

An auxiliary relation is an important binary relation on a poset.

辅助关系是定义在偏序集上的一种重要的二元关系.

互联网

BCC Algebra and Integral Pomonoid?

BCC - 代数与整偏序幺半群(英文)

互联网

Some properties of Z - Scott open set, Z - Lawson open set, Z - Scott topology and Z - Lawson topology are studied.

研究了Z - 连续偏序集上的Z-Scott开集, Z -Lawson 开集, Z-Scott拓扑及Z -Lawson 拓扑的一些性质.

互联网

The three classes of homomorphisms of implicative posemigroups are investigated. The three homomorphism theorems are established.

在蕴涵偏序半群中引入了三类同态,讨论了它们的关系和性质,并且给出了三个同态定理.

互联网

Finally, a new partial ordering in the subset of universal nonnegative definite matrices is defined and.

最后讨论了泛非负定子集类上的一种新的矩阵偏序的性质与充要条件.

互联网

The unified theory of the matrix partial orders is investigated.

本文探讨矩阵偏序的一致理论.

互联网