Summary: International Journal of Foundations of Computer Science
c World Scientific Publishing Company
Bisimulation Minimization of Tree Automata
PAROSH AZIZ ABDULLA
Dept. of Information Technology, Uppsala University, P.O. Box 337
S­751 05 Uppsala, Sweden.
parosh@it.uu.se
and
JOHANNA H¨OGBERG
Department of Computing Science, Ume°a University
S­901 87 Ume°a, Sweden
johanna@cs.umu.se
and
LISA KAATI
Dept. of Information Technology, Uppsala University, P.O. Box 337
S­751 05 Uppsala, Sweden.
lisa.kaati@it.uu.se
Received (received date)
Revised (revised date)
Communicated by Editor's name

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

Collections: Computer Technologies and Information Sciences