Axiomatizations and Computability of Weighted Monadic Second-Order Logic.

Antonis Achilleos, Mathias Ruggaard Pedersen

Browse the full LICS paper archive.