Sciweavers

1623 search results - page 65 / 325
» No Sorting
Sort
View
IPPS
1993
IEEE
15 years 8 months ago
Selection, Routing, and Sorting on the Star Graph
Sanguthevar Rajasekaran, David S. L. Wei
STOC
1992
ACM
127views Algorithms» more  STOC 1992»
15 years 8 months ago
Entropy and Sorting
Jeff Kahn, Jeong Han Kim
LILOG
1989
15 years 8 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp