3928 search results - page 20 / 786 » order 2006 |
DM
2006
14 years 11 months ago
2006
We give a characterization of the non-empty binary relations
ORDER
2002
14 years 10 months ago
2002
We show that: (1) For many regular cardinals (in particular, for all successors of singular strong limit cardinals, and for all successors of singular -limits), for all n {2, 3, ...
ORDER
2010
14 years 9 months ago
2010
Let r(n) denote the largest integer such that every family C of n pairwise disjoint segments in the plane in general position has r(n) members whose order type can be represented ...
78
Voted
FUIN
2006
14 years 11 months ago
2006
We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...
ORDER
2002
14 years 10 months ago
2002
It is known that the "pattern containment" order on permutations is not a partial well-order. Nevertheless, many naturally defined subsets of permutations are partially ...