Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields.

Matthias Bchse, Anja Fischer

Browse the full EACL paper archive.