Pascal Caron;Jean-Marc Champarnaud;Ludovic Mignot
-;-;-
Acyclic automata and small expressions using multi-tilde-bar operators
Theoretical Computer Science
Multi-tilde-bar derivatives
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata