Weighted automata and weighted logics over tree-like structuresChristian MathissenÉpuisé4,3Prévenez-moi