A logical approach to matroid decomposition

A logical approach to matroid decomposition A logical approach to matroid decomposition Yann Strozecki Equipe de Logique Mathematique, Paris 7

• following axioms


• equipe de logique mathematique


• i1 ?


• matroid must


• abstract construction


• decomposition


• branch-width decomposition