Cyclic System for an Algebraic Theory of Alternating Parity Automata.

Anupam Das, Abhishek De

Browse the full TABLEAUX paper archive.