Erratum to Acyclic automata and small expressions using multi-tilde-bar operators [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435]

Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot. Erratum to Acyclic automata and small expressions using multi-tilde-bar operators [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435]. Theoretical Computer Science, 412(29):3795-3796, 2011. [doi]

Abstract

Abstract is missing.