scientific article; zbMATH DE number 7799624

DOI10.4230/LIPICS.FSTTCS.2021.46MaRDI QIDQ6187066zbMATH OpenFDO

Authors Christopher Hugenroth

Publication date 5 February 2024

zbMATH Keywords

separationmembershipregularparity automataMuller automataWagner hierarchyproduct automata

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication:

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