Weighted Picture Automata and Weighted Logics.

Ina Murer

Browse the full STACS paper archive.