From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
From MaRDI portal
Publication:6566473
DOI10.46298/theoretics.24.12MaRDI QIDQ6566473
Nathanaël Fijalkow, Karoliina Lehtinen, Unnamed Author, Thomas Colcombet
Publication date: 3 July 2024
Published in: TheoretiCS (Search for Journal in Brave)
This page was built for publication: From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism