Cover von The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition opens in new tab

The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition

Year: 2024
Media group: LIPIcs

Details

Search for this author
Year: 2024
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 35:1-35:17
Participating parties: Search for this character Casares, Antonio; Mascle, Corto
Media group: LIPIcs