Travelled to:
1 × France
Collaborated with:
M.Droste
Talks about:
weight (2) automata (1) theorem (1) pictur (1) nivat (1) logic (1) mso (1)
Person: Parvaneh Babari
DBLP: Babari:Parvaneh
Contributed to:
Wrote 1 papers:
- LATA-2015-BabariD #automaton #logic #theorem
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (PB, MD), pp. 703–715.