A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.

Manfred Droste, Erik Paul

Browse the full MFCS paper archive.