Algebras for Automata: Reasoning with Regularity (Invited Talk).

Anupam Das

Browse the full STACS paper archive.