Skip to Main content Skip to Navigation
Journal articles

Acyclic automata and small expressions using multi-tilde-bar operators

Document type :
Journal articles
Complete list of metadatas

https://hal-normandie-univ.archives-ouvertes.fr/hal-02335303
Contributor : Ludovic Mignot <>
Submitted on : Monday, October 28, 2019 - 11:10:56 AM
Last modification on : Tuesday, October 29, 2019 - 1:39:14 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

30