A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata.

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases