Article Dans Une Revue
Theor. Comput. Sci.
Année : 2010
Ludovic Mignot : Connectez-vous pour contacter le contributeur
https://normandie-univ.hal.science/hal-02335303
Soumis le : lundi 28 octobre 2019-11:10:56
Dernière modification le : vendredi 22 décembre 2023-15:16:05
Citer
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot. Acyclic automata and small expressions using multi-tilde-bar operators. Theor. Comput. Sci., 2010, 411 (38-39), pp.3423--3435. ⟨10.1016/j.tcs.2010.05.023⟩. ⟨hal-02335303⟩
Collections
6
Consultations
0
Téléchargements