Minimal Deterministic Finite Automata from Alternating and Boolean Automata

Hellis Tamm, Brink van der Merwe. Minimal Deterministic Finite Automata from Alternating and Boolean Automata. In Taylor J. Smith, editor, Implementation and Application of Automata - 30th International Conference, CIAA 2026, Kingston, ON, Canada, August 5-8, 2026, Proceedings. Volume 16695 of Lecture Notes in Computer Science, pages 200-215, Springer, 2026. [doi]

Abstract

Abstract is missing.