Acyclic automata and small expressions using multi-tilde-bar operators - Normandie Université Access content directly
Journal Articles Theor. Comput. Sci. Year : 2010

Dates and versions

hal-02335303 , version 1 (28-10-2019)

Identifiers

Cite

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⟩
6 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More