108 search results - page 1 / 22 » Types for Hereditary Permutators |
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
WG
2004
Springer
13 years 10 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...
CSL
2008
Springer
13 years 6 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...
ACS
2010
13 years 5 months 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...
EJC
2010
13 years 4 months 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 ...