Optimised determinisation and completion of finite tree automata

John P. Gallagher, Mai Ajspur, Bishoksan Kafle. Optimised determinisation and completion of finite tree automata. Journal of Logic and Algebraic Programming, 95:1-16, 2018. [doi]

Abstract

Abstract is missing.