Login / Signup

On the Equivalence of Automata for KAT-expressions.

Sabine BrodaAntónio MachiaveloNelma MoreiraRogério Reis
Published in: CiE (2014)
Keyphrases