Login / Signup

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.

Antonio Casares
Published in: CSL (2022)
Keyphrases