108 search results - page 1 / 22 » Types for Hereditary Permutators |
68
Voted
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
WG
2004
Springer
15 years 5 months ago
2004
Springer
An undirected graph is a treelike comparability graph if it admits a transitive orientation such that its transitive reduction is a tree. We show that treelike comparability graphs...
120
Voted
CSL
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
88
Voted
ACS
2010
15 years 9 days ago
2010
We characterize the hereditary torsion pairs of finite type in the functor category of a ring R associated to tilting torsion pairs in the category of R-modules. Moreover, we deter...
102
click to vote
EJC
2010
15 years 7 days ago
2010
Packing density is a permutation occurrence statistic which describes the maximal number of permutations of a given type that can occur in another permutation. In this article we ...