Sciweavers

108 search results - page 1 / 22
» Types for Hereditary Permutators
Sort
View
59
Voted
LICS
2008
IEEE
15 years 4 months ago
Types for Hereditary Permutators
Makoto Tatsuta
WG
2004
Springer
15 years 3 months ago
Treelike Comparability Graphs: Characterization, Recognition, and Applications
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...
Sabine Cornelsen, Gabriele Di Stefano
CSL
2008
Springer
14 years 11 months ago
Syntactic Metatheory of Higher-Order Subtyping
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...
Andreas Abel, Dulma Rodriguez
ACS
2010
14 years 10 months ago
TTF Triples in Functor Categories
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...
Lidia Angeleri Hügel, Silvana Bazzoni
EJC
2010
14 years 10 months ago
Packing sets of patterns
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 ...
Alexander Burstein, Peter Hästö