HYPER-MINIMIZATION FOR DETERMINISTIC TREE AUTOMATA
JEŻ, ARTUR, MALETTI, ANDREASVolume:
24
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/s0129054113400200
Date:
September, 2013
File:
PDF, 289 KB
english, 2013