Complementation of Emerson-Lei automata

DOI10.1007/978-3-031-90897-2_5MaRDI QIDQ6889894zbMATH OpenFDO

Authors Vojtěch Havlena, Ondřej Lengál

Publication date 4 December 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Complementation of Emerson-Lei automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6889894)