Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot. Acyclic automata and small expressions using multi-tilde-bar operators. Theoretical Computer Science, 411(38-39):3423-3435, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.