Backward and forward bisimulation minimisation of tree automata (2007)

by Johanna Högberg , Andreas Maletti , Jonathan May
Citations:11 - 6 self