Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields

Matthias Büchse | Anja Fischer |

Paper Details:

Month: April
Year: 2012
Location: Avignon, France
Venue: ATANLP | WS |
SIG: SIGFSM