AbstractIn a recent paper, Amini et al. introduced a general framework to prove duality theorems between tree-decompositions and their dual combinatorial object. They unify all known ad hoc proofs in one duality theorem based on submodular partition functions. This general theorem remains however a bit technical and relies on this particular submodularity property. Instead of partition functions, we propose here a simple combinatorial property of a set of partitions which also gives these duality results. Our approach is both simpler, and a little bit more general
AbstractThere are several examples in linear algebra and number theory of theorems which are formall...
A partition of a set A is a set of nonempty pairwise disjoint subsets of A whose union is A. An equi...
A natural duality is obtained for each finitely generated variety Bn (n < ω) of distributive p-al...
International audienceIn a recent paper, Amini et al. introduce a general framework to prove duality...
AbstractIn a recent paper, Amini et al. introduced a general framework to prove duality theorems bet...
International audienceAdapting the method introduced in Graph Minors X, we propose a new proof of th...
Adapting the method introduced in Graph Minors X [6], we propose a new proof of the duality between ...
AbstractAdapting the method introduced in Graph Minors X, we propose a new proof of the duality betw...
Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of e...
The notion of submodular partition functions generalizes many of well-known tree decompositions of g...
AbstractWe show that for a set F of forbidden set partitions and an integer k there is a finite coll...
We apply a recent tangle-tree duality theorem in abstract separation systems to derive tangle-tree-t...
Modern categorical logic as well as the Kripke and topological models of intuitionistic logic sugges...
AbstractA natural duality is obtained for each finitely generated variety Bn (n < ω) of distributive...
AbstractSeveral combinatorial structures exhibit a duality relation that yields interesting theorems...
AbstractThere are several examples in linear algebra and number theory of theorems which are formall...
A partition of a set A is a set of nonempty pairwise disjoint subsets of A whose union is A. An equi...
A natural duality is obtained for each finitely generated variety Bn (n < ω) of distributive p-al...
International audienceIn a recent paper, Amini et al. introduce a general framework to prove duality...
AbstractIn a recent paper, Amini et al. introduced a general framework to prove duality theorems bet...
International audienceAdapting the method introduced in Graph Minors X, we propose a new proof of th...
Adapting the method introduced in Graph Minors X [6], we propose a new proof of the duality between ...
AbstractAdapting the method introduced in Graph Minors X, we propose a new proof of the duality betw...
Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of e...
The notion of submodular partition functions generalizes many of well-known tree decompositions of g...
AbstractWe show that for a set F of forbidden set partitions and an integer k there is a finite coll...
We apply a recent tangle-tree duality theorem in abstract separation systems to derive tangle-tree-t...
Modern categorical logic as well as the Kripke and topological models of intuitionistic logic sugges...
AbstractA natural duality is obtained for each finitely generated variety Bn (n < ω) of distributive...
AbstractSeveral combinatorial structures exhibit a duality relation that yields interesting theorems...
AbstractThere are several examples in linear algebra and number theory of theorems which are formall...
A partition of a set A is a set of nonempty pairwise disjoint subsets of A whose union is A. An equi...
A natural duality is obtained for each finitely generated variety Bn (n < ω) of distributive p-al...