Minimal and Hyper-Minimal Biautomata

Markus Holzer 0001, Sebastian Jakobi. Minimal and Hyper-Minimal Biautomata. Int. J. Found. Comput. Sci., 27(2):161-186, 2016. [doi]

Abstract

Abstract is missing.