Weighted Register Automata and Weighted Logic on Data Words.

Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov

Browse the full ICTAC paper archive.