partial order
1Partial order reduction — In computer science, partial order reduction is a technique for reducing the size of the state space to be searched by a model checking algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state… …
2partial order — noun A relation that is reflexive, antisymmetric, and transitive. Syn: partial ordering relation See Also: order, partially ordered set …
3partial order — …
4Complete partial order — In mathematics, directed complete partial orders and ω complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial… …
5Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… …
6Order dimension — A partial order of dimension 4 (shown as a Hasse diagram) and four total orderings that form a realizer for this partial order. In mathematics, the dimension of a partially ordered set (poset) is the smallest number of total orders the… …
7Partial plan — In formal AI planning, a partial plan is a plan which specifies all actions that need to be taken, but does not specify an exact order for the actions where the order does not matter. A linearization of a partial order plan is a total order plan… …
8Order (mathematics) — Contents 1 In algebra 2 In arithmetic 3 In analysis 4 …
9partial ordering relation — noun A partial order …
10Order of Preachers — Order of Preachers † Catholic Encyclopedia ► Order of Preachers As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… …
